add precise64.box import foo