bash: tolerate rounding errors in check_stat()
fix compiler warning