Add tmultOK function to show whether the mutliplication is overflow