dec64_int