Yes, but that is an anomaly.  ModularArithmetic.CANNOT_ASSUME_DENOM_IS_POWER_OF_TWO is only for backward compat and should gradually be phased out.