* correct FLITERAL in 32 bits mode
* refactoring