Approximate r←[x](F≈{Gm})y

tolerance is [x]Gy or m. F is called with comparison tolerance tolerance: r←[x]F⦋"tolerance":[x]{Gm}⫤y⦌y.