[dev] Use precise 64 instead of precise 32