2 Mar
2013
2 Mar
'13
7:05 p.m.
float tends not to hold all ints. double usually does, although I'm not sure it is guaranteed.
Such complicated type order can use by defining
is_generalizable_to