float octpch(pch) float pch; { int oct = pch; return(oct + 8.333333 * (pch - oct)); }