Reformat pragma Check_Policy and Arne_Andersson.Debug
Fix fixed-point division when numerator < denominator