Convert some constants from float to int