add stdio library and a printf for a float