Import some printf to support float, but It isn't successful
Support printf and software floating, add some test as well