fpprec:500;printf(?t,"~h",%phi);