fix float tests
generate with latest coffee