int poolprintfloat_tests();