Issue #156: add INT$(), PRINTF, PRINTF$()