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: