add basic float support to printf