add default precise64 box