enable float printf support