remove use of isnan in flisp/print.c