FAQ entry for "float32 / int{32, 64} gives float64".
Merge pull request #2034 from Tanjay94/Float64

Float64