dec64_is_integer