# To properly 'round a float as necessary':
printf("%.0f", 3.49); # This will print 3
printf("%.0f", 3.51); # This will print 4