在Julia中:Float64和BigFloat的相等

在Julia 1.0.0 REPL中,我得到以下结果:

# Line 1: This make sense.  I did not expect a Float64 to equal a BigFloat.
julia> 26.1 == big"26.1"
false

# Line 2: This surprised me when Line 1 is considered.  Again, like Line 1, I 
# did not expect a Float64 to equal an equivalent BigFloat.
julia> 26.0 == big"26.0"
true

# Line 3: This I expected based on Line 1 behavior.
julia> 26.1 - 0.1 == big"26.1" - 0.1
false

# Line 4: This surprised me based on Line 1 behavior, but it might be 
# explained based on Line 2 behavior.  It seems to imply that if a Float64 
# can be converted to an Integer it will compare equal to an equivalent BigFloat.
julia> 26.1 - 0.1 == big"26.1" - big"0.1"
true

似乎Julia在幕后做了一些事情,与Float64和BigFloat进行相等比较,使得第2行和第4行为真,而第1行和第3行为假。有什么建议吗?

https://docs.julialang.org/en/v1/base/math/#Base.:==

基于@EPo在下面的一条有用的评论,很容易将上面的所有比较都变成事实。例如,第1行和第3行在下面为真,但在上面为假:

# Line 1 is now true.
julia> 26.1 ≈ big"26.1"
true

# Line 3 is now true.
julia> 26.1 - 0.1 ≈ big"26.1" - 0.1
true