dec64_ceiling