conversion from numbers to constants, fix cast with the right thing
fix cast
more defined constant
did we fix linux?