TeX source:
median(0.7 ; 0.25 ; 1.0) = 0.7 > 70/100