precise32 -> precise64