@main[] ^test(15.124) ^test(15.1250001)
@test[f] ^f.format{%.2f}