Correction: bash does not understand floating-point numbers.