x °Ré ≘ (80 − x) × 15/8 °De