different type name for the big integer

10 files changed