s/gpfp/greatest-post-fp.