Fix is_integer