Usermode/libc - FP printf (partial)