Comment by azernik

Unless there's been some editing that's exactly what OP says - 1/80 = 0.0125, which here is rounded down to 0.012