Support for arithmetic64