Big integer manual