cc: @dmandrioli 
Damien, didn't you say at some point that float should be avoided for other reasons as well?