some gcc versions have problems finding the common type of two mpl integrals, casting manually in mtimes
AArch64 (ARM 64-bit) detection