add mul and test MRB_INT64