Precise64 > Precise32