Yes, it’s supported by the compiler. Similar to how it is on the Arduino Uno, even thought the MCU is only 8-bit, the compiler supports 32/64 bit operations in software.
Here, the MCU is 32-bit, and the compiler provides 64-bit operations in software.
The trap is that not all C runtime functions are equipped to deal with 64-bits, sprintf being one example.