Ticket #11 (new defect)

Opened 5 years ago

Implement a real Integer type

Reported by: SamB Owned by:
Priority: major Milestone: 0.7
Component: library Version:
Keywords: Cc:
Test Case:

Description

At the moment, we just use a (data constructor around) fixed-width bits<max> for Integer. We should actually implement an arbitrary-precision Integer type which does not take long to compile.

Note: See TracTickets for help on using tickets.