Symbol: fp_op_int64