Tiny modifications to float text encoding