Ensure all signatures for `float.rbs` are correct

[sampersand]

This is part of @sampersand's RBS work, to ensure that all core/xxx.rbs files are double-checked, and confirmed correct