This should become precise64.box