/guava/android/guava/src/com/google/common/math/ToDoubleRounder.java
: DoubleUtils.nextDown( roundFloorAsDouble) ;
: DoubleUtils.nextDown ( roundArbitrarily ) ;
case UNNECESSARY: checkRoundingUnnecessary(cmpXToRoundArbitrarily == 0); return roundArbitrarily; case FLOOR: return (cmpXToRoundArbitrarily >= 0) ? roundArbitrarily <extra_id_0> case CEILING: return (cmpXToRoundArbitrarily <= 0) ? roundArbitrarily : Math.nextUp(roundArbitrarily); case DOWN: if (sign(x) >= 0) { return (cmpXToRoundArbitrarily >= 0) ? roundArbitrarily