fp/complete: Copied from tf_fp_add.rb