Description

Mpint represents an integer constant.