I’ve found two easy ways to round up “ceiling” float numbers with bash.

Simply add “0.5” to your floating number and use printf:

Or use awk: