the exact value is important here and I just don't trust doubles for exactness, even though it is tested to work here