This file is called "hex floats" but contains binary ones, maybe just "non-decimal-float-literals.rs" and include some octal ones too?