// File: aisthesis[P]realnumber/tst/real_number_test.cpp
// Function: other_methods::difference_method_invoker()
BOOST_AUTO_TEST_CASE(difference_method) {
		BOOST_CHECK(big_num_rn.difference(two_rn) == big_num_rn - two_rn);
		BOOST_CHECK(two_rn.difference(big_num_rn) == big_num_rn - two_rn);
		BOOST_CHECK(one_rn.difference(small_num_rn) == one_rn - small_num_rn);
		BOOST_CHECK(small_num_rn.difference(one_rn) == one_rn - small_num_rn);
	}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xb00, %rsp            # imm = 0xB00
movq 0x10fb6(%rip), %rax     # 0x24298
movq %rax, -0xa20(%rbp)
leaq 0x8d14(%rip), %rsi      # 0x1c004
leaq -0x10(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
leaq -0x1b8(%rbp), %rdi
movq %rdi, -0xa18(%rbp)
xorl %esi, %esi
movl $0x198, %edx            # imm = 0x198
callq 0x3100
movq -0xa18(%rbp), %rdi
callq 0x16580
movq -0xa18(%rbp), %rdi
callq 0x165b0
movq %rax, %rdi
movb $0x22, -0x1b9(%rbp)
leaq -0x1b9(%rbp), %rsi
callq 0x16540
movq %rax, -0xa10(%rbp)
jmp 0x1334f
movq -0xa10(%rbp), %rdi
leaq 0x9657(%rip), %rsi      # 0x1c9b4
callq 0x17de0
movq %rax, -0xa28(%rbp)
jmp 0x1336b
movq -0xa28(%rbp), %rdi
leaq 0x981a(%rip), %rsi      # 0x1cb93
callq 0x164e0
movq %rax, -0xa30(%rbp)
jmp 0x13387
movq -0xa30(%rbp), %rdi
callq 0x165c0
movq %rax, -0xa38(%rbp)
jmp 0x1339c
movq -0xa38(%rbp), %rsi
leaq -0x20(%rbp), %rdi
callq 0x16480
jmp 0x133ae
movq -0xa20(%rbp), %rdi
leaq -0x10(%rbp), %rsi
movl $0xd7, %edx
leaq -0x20(%rbp), %rcx
callq 0x3470
jmp 0x133c9
leaq -0x1b8(%rbp), %rdi
callq 0x16610
leaq -0x308(%rbp), %rdi
callq 0x17e10
movq 0x10eb0(%rip), %rax     # 0x24298
movq %rax, -0xa40(%rbp)
leaq 0x8c0e(%rip), %rsi      # 0x1c004
leaq -0x318(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0x13409
leaq -0x4c0(%rbp), %rdi
movq %rdi, -0xa48(%rbp)
xorl %esi, %esi
movl $0x198, %edx            # imm = 0x198
callq 0x3100
movq -0xa48(%rbp), %rdi
callq 0x16580
jmp 0x13431
leaq -0x4c0(%rbp), %rdi
callq 0x165b0
movq %rax, %rdi
movb $0x22, -0x4c1(%rbp)
leaq -0x4c1(%rbp), %rsi
callq 0x16540
movq %rax, -0xa50(%rbp)
jmp 0x1345c
movq -0xa50(%rbp), %rdi
leaq 0x954a(%rip), %rsi      # 0x1c9b4
callq 0x17de0
movq %rax, -0xa58(%rbp)
jmp 0x13478
movq -0xa58(%rbp), %rdi
leaq 0x971c(%rip), %rsi      # 0x1cba2
callq 0x16660
movq %rax, -0xa60(%rbp)
jmp 0x13494
movq -0xa60(%rbp), %rdi
callq 0x165c0
movq %rax, -0xa68(%rbp)
jmp 0x134a9
movq -0xa68(%rbp), %rsi
leaq -0x328(%rbp), %rdi
callq 0x16480
jmp 0x134be
movq -0xa40(%rbp), %rdi
leaq -0x318(%rbp), %rsi
movl $0xd7, %edx
leaq -0x328(%rbp), %rcx
callq 0x3470
jmp 0x134df
leaq -0x4c0(%rbp), %rdi
callq 0x16610
leaq -0x308(%rbp), %rdi
callq 0x17e30
jmp 0x134f9
movq 0x10d98(%rip), %rax     # 0x24298
movq %rax, -0xa70(%rbp)
leaq 0x8af6(%rip), %rsi      # 0x1c004
leaq -0x4d8(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0x13521
leaq -0x680(%rbp), %rdi
movq %rdi, -0xa78(%rbp)
xorl %esi, %esi
movl $0x198, %edx            # imm = 0x198
callq 0x3100
movq -0xa78(%rbp), %rdi
callq 0x16580
jmp 0x13549
leaq -0x680(%rbp), %rdi
callq 0x165b0
movq %rax, %rdi
movb $0x22, -0x681(%rbp)
leaq -0x681(%rbp), %rsi
callq 0x16540
movq %rax, -0xa80(%rbp)
jmp 0x13574
movq -0xa80(%rbp), %rdi
leaq 0x9432(%rip), %rsi      # 0x1c9b4
callq 0x17de0
movq %rax, -0xa88(%rbp)
jmp 0x13590
movq -0xa88(%rbp), %rdi
leaq 0x9614(%rip), %rsi      # 0x1cbb2
callq 0x166b0
movq %rax, -0xa90(%rbp)
jmp 0x135ac
movq -0xa90(%rbp), %rdi
callq 0x165c0
movq %rax, -0xa98(%rbp)
jmp 0x135c1
movq -0xa98(%rbp), %rsi
leaq -0x4e8(%rbp), %rdi
callq 0x16480
jmp 0x135d6
movq -0xa70(%rbp), %rdi
leaq -0x4d8(%rbp), %rsi
movl $0xd7, %edx
leaq -0x4e8(%rbp), %rcx
callq 0x3470
jmp 0x135f7
leaq -0x680(%rbp), %rdi
callq 0x16610
leaq -0x308(%rbp), %rdi
callq 0x13920
jmp 0x13611
movq 0x10c80(%rip), %rax     # 0x24298
movq %rax, -0xaa0(%rbp)
leaq 0x89de(%rip), %rsi      # 0x1c004
leaq -0x698(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0x13639
leaq -0x840(%rbp), %rdi
movq %rdi, -0xaa8(%rbp)
xorl %esi, %esi
movl $0x198, %edx            # imm = 0x198
callq 0x3100
movq -0xaa8(%rbp), %rdi
callq 0x16580
jmp 0x13661
leaq -0x840(%rbp), %rdi
callq 0x165b0
movq %rax, %rdi
movb $0x22, -0x841(%rbp)
leaq -0x841(%rbp), %rsi
callq 0x16540
movq %rax, -0xab0(%rbp)
jmp 0x1368c
movq -0xab0(%rbp), %rdi
leaq 0x931a(%rip), %rsi      # 0x1c9b4
callq 0x17de0
movq %rax, -0xab8(%rbp)
jmp 0x136a8
movq -0xab8(%rbp), %rdi
leaq 0x9509(%rip), %rsi      # 0x1cbbf
callq 0x166e0
movq %rax, -0xac0(%rbp)
jmp 0x136c4
movq -0xac0(%rbp), %rdi
callq 0x165c0
movq %rax, -0xac8(%rbp)
jmp 0x136d9
movq -0xac8(%rbp), %rsi
leaq -0x6a8(%rbp), %rdi
callq 0x16480
jmp 0x136ee
movq -0xaa0(%rbp), %rdi
leaq -0x698(%rbp), %rsi
movl $0xd7, %edx
leaq -0x6a8(%rbp), %rcx
callq 0x3470
jmp 0x1370f
leaq -0x840(%rbp), %rdi
callq 0x16610
leaq -0x308(%rbp), %rdi
callq 0x17e50
jmp 0x13729
movq 0x10b68(%rip), %rax     # 0x24298
movq %rax, -0xad0(%rbp)
leaq 0x88c6(%rip), %rsi      # 0x1c004
leaq -0x858(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0x13751
leaq -0xa00(%rbp), %rdi
movq %rdi, -0xad8(%rbp)
xorl %esi, %esi
movl $0x198, %edx            # imm = 0x198
callq 0x3100
movq -0xad8(%rbp), %rdi
callq 0x16580
jmp 0x13779
leaq -0xa00(%rbp), %rdi
callq 0x165b0
movq %rax, %rdi
movb $0x22, -0xa01(%rbp)
leaq -0xa01(%rbp), %rsi
callq 0x16540
movq %rax, -0xae0(%rbp)
jmp 0x137a4
movq -0xae0(%rbp), %rdi
leaq 0x9202(%rip), %rsi      # 0x1c9b4
callq 0x17de0
movq %rax, -0xae8(%rbp)
jmp 0x137c0
movq -0xae8(%rbp), %rdi
leaq 0x9404(%rip), %rsi      # 0x1cbd2
callq 0x164e0
movq %rax, -0xaf0(%rbp)
jmp 0x137dc
movq -0xaf0(%rbp), %rdi
callq 0x165c0
movq %rax, -0xaf8(%rbp)
jmp 0x137f1
movq -0xaf8(%rbp), %rsi
leaq -0x868(%rbp), %rdi
callq 0x16480
jmp 0x13806
movq -0xad0(%rbp), %rdi
leaq -0x858(%rbp), %rsi
movl $0xd7, %edx
leaq -0x868(%rbp), %rcx
callq 0x3470
jmp 0x13827
leaq -0xa00(%rbp), %rdi
callq 0x16610
leaq -0x308(%rbp), %rdi
callq 0x17e70
addq $0xb00, %rsp            # imm = 0xB00
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
leaq -0x1b8(%rbp), %rdi
callq 0x16610
jmp 0x13909
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
jmp 0x138fd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
leaq -0x4c0(%rbp), %rdi
callq 0x16610
jmp 0x138fd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
leaq -0x680(%rbp), %rdi
callq 0x16610
jmp 0x138fd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
leaq -0x840(%rbp), %rdi
callq 0x16610
jmp 0x138fd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
leaq -0xa00(%rbp), %rdi
callq 0x16610
leaq -0x308(%rbp), %rdi
callq 0x17e70
movq -0x1c8(%rbp), %rdi
callq 0x3420
nopw %cs:(%rax,%rax)