Going to the integer version