tc-vax.c: make prototype of flonum_gen2vax match its definition