Use 64bits integer types