bug fix: an Int64 is not a Float64