Float64

FAQ entry for "float32 / int{32, 64} gives float64".