Fix floating point register encodings