Float64 is concrete Float type