bittorf/shell-posix-float-to-integer

convert a time in seconds (e.g. 3.234) to an integer in milliseconds (e.g. 3234)

Shell