ivy: implement %f as a format

Genuinely useful. %e and %g are harder but will come.