fix bugs in fcvt* pseudocode