x64.fp: finish