FIX: issue #493 (Error with 'print-line and integer!s)