switch to parsec3-numbers