Using 64-bit signed integers as default