I think there is no point in having #Float anymore. Float should suffice.