// File: aisthesis[P]realnumber/tst/real_number_test.cpp
// Function: arithmetic_operators::division::test_method()
BOOST_AUTO_TEST_CASE(division) {
		BOOST_CHECK(one_rn / two_rn < RealNumber("0.50000001"));
		BOOST_CHECK(one_rn / two_rn > RealNumber("0.49999999"));
		BOOST_CHECK(two_rn / big_num_rn > zero_rn);
		BOOST_CHECK(one_rn / small_num_rn > one_rn);
		BOOST_CHECK_THROW(one_rn / zero_rn, std::invalid_argument);
	}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x490, %rsp            # imm = 0x490
movq %rdi, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x388(%rbp)
movq 0x11c67(%rip), %rax     # 0x24298
movq %rax, -0x3a8(%rbp)
leaq 0x99c5(%rip), %rsi      # 0x1c004
leaq -0x20(%rbp), %rdi
movq %rdi, -0x3a0(%rbp)
movl $0x18, %edx
callq 0x15d80
leaq -0x30(%rbp), %rdi
movq %rdi, -0x398(%rbp)
callq 0x15db0
movq -0x3a8(%rbp), %rdi
movq -0x3a0(%rbp), %rsi
movq -0x398(%rbp), %rcx
movl $0xce, %edx
callq 0x3470
movq -0x388(%rbp), %rdx
movq %rdx, %rsi
addq $0x108, %rsi            # imm = 0x108
addq $0x110, %rdx            # imm = 0x110
leaq -0x50(%rbp), %rdi
callq 0x1a0c0
leaq -0x79(%rbp), %rdi
movq %rdi, -0x390(%rbp)
callq 0x3430
movq -0x390(%rbp), %rdx
leaq 0xa23b(%rip), %rsi      # 0x1c8fd
leaq -0x78(%rbp), %rdi
callq 0x16160
jmp 0x126cd
leaq -0x58(%rbp), %rdi
leaq -0x78(%rbp), %rsi
callq 0x19420
jmp 0x126dc
leaq -0x50(%rbp), %rdi
leaq -0x58(%rbp), %rsi
callq 0x19b50
movb %al, -0x3a9(%rbp)
jmp 0x126f1
movb -0x3a9(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x48(%rbp), %rdi
callq 0x162c0
jmp 0x12708
callq 0x16040
movq %rax, -0x3b8(%rbp)
jmp 0x12716
leaq 0xa1eb(%rip), %rsi      # 0x1c908
leaq -0xc0(%rbp), %rdi
movl $0x2a, %edx
callq 0x15d80
jmp 0x12730
movq -0x3b8(%rbp), %rsi
leaq -0xb0(%rbp), %rdi
leaq -0xc0(%rbp), %rdx
callq 0x16300
jmp 0x1274c
leaq 0x98b1(%rip), %rsi      # 0x1c004
leaq -0xd0(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0x12766
movq %rsp, %rax
movq $0x0, (%rax)
xorl %r9d, %r9d
movb %r9b, %al
leaq -0x48(%rbp), %rdi
leaq -0xb0(%rbp), %rsi
leaq -0xd0(%rbp), %rdx
movl $0xce, %ecx
movl $0x1, %r8d
callq 0x3460
jmp 0x1279a
leaq -0xb0(%rbp), %rdi
callq 0x16340
leaq -0x48(%rbp), %rdi
callq 0x16360
leaq -0x58(%rbp), %rdi
callq 0x19730
leaq -0x78(%rbp), %rdi
callq 0x3110
leaq -0x79(%rbp), %rdi
callq 0x3270
leaq -0x50(%rbp), %rdi
callq 0x19730
callq 0x16070
testb $0x1, %al
jne 0x1262a
jmp 0x127e2
movq 0x11aaf(%rip), %rax     # 0x24298
movq %rax, -0x3d8(%rbp)
leaq 0x980d(%rip), %rsi      # 0x1c004
leaq -0xe0(%rbp), %rdi
movq %rdi, -0x3d0(%rbp)
movl $0x18, %edx
callq 0x15d80
leaq -0xf0(%rbp), %rdi
movq %rdi, -0x3c8(%rbp)
callq 0x15db0
movq -0x3d8(%rbp), %rdi
movq -0x3d0(%rbp), %rsi
movq -0x3c8(%rbp), %rcx
movl $0xcf, %edx
callq 0x3470
movq -0x388(%rbp), %rdx
movq %rdx, %rsi
addq $0x108, %rsi            # imm = 0x108
addq $0x110, %rdx            # imm = 0x110
leaq -0x110(%rbp), %rdi
callq 0x1a0c0
leaq -0x139(%rbp), %rdi
movq %rdi, -0x3c0(%rbp)
callq 0x3430
movq -0x3c0(%rbp), %rdx
leaq 0xa0ad(%rip), %rsi      # 0x1c933
leaq -0x138(%rbp), %rdi
callq 0x16160
jmp 0x12894
leaq -0x118(%rbp), %rdi
leaq -0x138(%rbp), %rsi
callq 0x19420
jmp 0x128a9
leaq -0x110(%rbp), %rdi
leaq -0x118(%rbp), %rsi
callq 0x19a30
movb %al, -0x3d9(%rbp)
jmp 0x128c4
movb -0x3d9(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x108(%rbp), %rdi
callq 0x162c0
jmp 0x128de
callq 0x16040
movq %rax, -0x3e8(%rbp)
jmp 0x128ec
leaq 0xa04b(%rip), %rsi      # 0x1c93e
leaq -0x170(%rbp), %rdi
movl $0x2a, %edx
callq 0x15d80
jmp 0x12906
movq -0x3e8(%rbp), %rsi
leaq -0x160(%rbp), %rdi
leaq -0x170(%rbp), %rdx
callq 0x16300
jmp 0x12922
leaq 0x96db(%rip), %rsi      # 0x1c004
leaq -0x180(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0x1293c
movq %rsp, %rax
movq $0x0, (%rax)
xorl %r9d, %r9d
movb %r9b, %al
leaq -0x108(%rbp), %rdi
leaq -0x160(%rbp), %rsi
leaq -0x180(%rbp), %rdx
movl $0xcf, %ecx
movl $0x1, %r8d
callq 0x3460
jmp 0x12973
leaq -0x160(%rbp), %rdi
callq 0x16340
leaq -0x108(%rbp), %rdi
callq 0x16360
leaq -0x118(%rbp), %rdi
callq 0x19730
leaq -0x138(%rbp), %rdi
callq 0x3110
leaq -0x139(%rbp), %rdi
callq 0x3270
leaq -0x110(%rbp), %rdi
callq 0x19730
callq 0x16070
testb $0x1, %al
jne 0x127e2
jmp 0x129ca
movq 0x118c7(%rip), %rax     # 0x24298
movq %rax, -0x410(%rbp)
leaq 0x9625(%rip), %rsi      # 0x1c004
leaq -0x190(%rbp), %rdi
movq %rdi, -0x408(%rbp)
movl $0x18, %edx
callq 0x15d80
leaq -0x1a0(%rbp), %rdi
movq %rdi, -0x400(%rbp)
callq 0x15db0
movq -0x410(%rbp), %rdi
movq -0x408(%rbp), %rsi
movq -0x400(%rbp), %rcx
movl $0xd0, %edx
callq 0x3470
movq -0x388(%rbp), %rdx
movq %rdx, %rsi
addq $0x110, %rsi            # imm = 0x110
addq $0x118, %rdx            # imm = 0x118
leaq -0x1c0(%rbp), %rdi
movq %rdi, -0x3f8(%rbp)
callq 0x1a0c0
movq -0x388(%rbp), %rsi
movq -0x3f8(%rbp), %rdi
addq $0x100, %rsi            # imm = 0x100
callq 0x19a30
movb %al, -0x3e9(%rbp)
jmp 0x12a76
movb -0x3e9(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x1b8(%rbp), %rdi
callq 0x162c0
jmp 0x12a90
callq 0x16040
movq %rax, -0x418(%rbp)
jmp 0x12a9e
leaq 0x9ec4(%rip), %rsi      # 0x1c969
leaq -0x1f0(%rbp), %rdi
movl $0x1d, %edx
callq 0x15d80
jmp 0x12ab8
movq -0x418(%rbp), %rsi
leaq -0x1e0(%rbp), %rdi
leaq -0x1f0(%rbp), %rdx
callq 0x16300
jmp 0x12ad4
leaq 0x9529(%rip), %rsi      # 0x1c004
leaq -0x200(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0x12aee
movq %rsp, %rax
movq $0x0, (%rax)
xorl %r9d, %r9d
movb %r9b, %al
leaq -0x1b8(%rbp), %rdi
leaq -0x1e0(%rbp), %rsi
leaq -0x200(%rbp), %rdx
movl $0xd0, %ecx
movl $0x1, %r8d
callq 0x3460
jmp 0x12b25
leaq -0x1e0(%rbp), %rdi
callq 0x16340
leaq -0x1b8(%rbp), %rdi
callq 0x16360
leaq -0x1c0(%rbp), %rdi
callq 0x19730
callq 0x16070
testb $0x1, %al
jne 0x129ca
jmp 0x12b58
movq 0x11739(%rip), %rax     # 0x24298
movq %rax, -0x448(%rbp)
leaq 0x9497(%rip), %rsi      # 0x1c004
leaq -0x210(%rbp), %rdi
movq %rdi, -0x440(%rbp)
movl $0x18, %edx
callq 0x15d80
leaq -0x220(%rbp), %rdi
movq %rdi, -0x438(%rbp)
callq 0x15db0
movq -0x448(%rbp), %rdi
movq -0x440(%rbp), %rsi
movq -0x438(%rbp), %rcx
movl $0xd1, %edx
callq 0x3470
movq -0x388(%rbp), %rdx
movq %rdx, %rsi
addq $0x108, %rsi            # imm = 0x108
movq %rsi, -0x428(%rbp)
addq $0x120, %rdx            # imm = 0x120
leaq -0x240(%rbp), %rdi
movq %rdi, -0x430(%rbp)
callq 0x1a0c0
movq -0x430(%rbp), %rdi
movq -0x428(%rbp), %rsi
callq 0x19a30
movb %al, -0x419(%rbp)
jmp 0x12c04
movb -0x419(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x238(%rbp), %rdi
callq 0x162c0
jmp 0x12c1e
callq 0x16040
movq %rax, -0x450(%rbp)
jmp 0x12c2c
leaq 0x9d54(%rip), %rsi      # 0x1c987
leaq -0x270(%rbp), %rdi
movl $0x1e, %edx
callq 0x15d80
jmp 0x12c46
movq -0x450(%rbp), %rsi
leaq -0x260(%rbp), %rdi
leaq -0x270(%rbp), %rdx
callq 0x16300
jmp 0x12c62
leaq 0x939b(%rip), %rsi      # 0x1c004
leaq -0x280(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0x12c7c
movq %rsp, %rax
movq $0x0, (%rax)
xorl %r9d, %r9d
movb %r9b, %al
leaq -0x238(%rbp), %rdi
leaq -0x260(%rbp), %rsi
leaq -0x280(%rbp), %rdx
movl $0xd1, %ecx
movl $0x1, %r8d
callq 0x3460
jmp 0x12cb3
leaq -0x260(%rbp), %rdi
callq 0x16340
leaq -0x238(%rbp), %rdi
callq 0x16360
leaq -0x240(%rbp), %rdi
callq 0x19730
callq 0x16070
testb $0x1, %al
jne 0x12b58
jmp 0x12ce6
movq 0x115ab(%rip), %rax     # 0x24298
movq %rax, -0x458(%rbp)
leaq 0x9309(%rip), %rsi      # 0x1c004
leaq -0x290(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0x12d0e
leaq -0x2a0(%rbp), %rdi
callq 0x15db0
jmp 0x12d1c
movq -0x458(%rbp), %rdi
leaq -0x290(%rbp), %rsi
movl $0xd2, %edx
leaq -0x2a0(%rbp), %rcx
callq 0x3470
jmp 0x12d3d
movq -0x388(%rbp), %rdx
movq %rdx, %rsi
addq $0x108, %rsi            # imm = 0x108
addq $0x100, %rdx            # imm = 0x100
leaq -0x2a8(%rbp), %rdi
callq 0x1a0c0
jmp 0x12d63
leaq -0x2a8(%rbp), %rdi
callq 0x19730
movq 0x11522(%rip), %rax     # 0x24298
movq %rax, -0x460(%rbp)
leaq 0x9280(%rip), %rsi      # 0x1c004
leaq -0x2b8(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0x12d97
leaq -0x2c8(%rbp), %rdi
callq 0x15db0
jmp 0x12da5
movq -0x460(%rbp), %rdi
leaq -0x2b8(%rbp), %rsi
movl $0xd2, %edx
leaq -0x2c8(%rbp), %rcx
callq 0x3470
jmp 0x12dc6
leaq -0x2e0(%rbp), %rdi
xorl %esi, %esi
callq 0x162c0
jmp 0x12dd6
callq 0x16040
movq %rax, -0x468(%rbp)
jmp 0x12de4
movq -0x468(%rbp), %rsi
leaq 0x94e9(%rip), %rdx      # 0x1c2db
leaq -0x300(%rbp), %rdi
callq 0x16380
jmp 0x12e00
leaq 0x91fd(%rip), %rsi      # 0x1c004
leaq -0x310(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0x12e1a
movq %rsp, %rax
movq $0x0, (%rax)
xorl %eax, %eax
leaq -0x2e0(%rbp), %rdi
leaq -0x300(%rbp), %rsi
leaq -0x310(%rbp), %rdx
movl $0xd2, %ecx
movl $0x1, %r9d
movl %r9d, %r8d
callq 0x3460
jmp 0x12e50
leaq -0x300(%rbp), %rdi
callq 0x163c0
leaq -0x2e0(%rbp), %rdi
callq 0x16360
callq 0x16070
movb %al, -0x469(%rbp)
jmp 0x12e75
movb -0x469(%rbp), %al
testb $0x1, %al
jne 0x12d6f
jmp 0x12e85
jmp 0x13242
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x88(%rbp)
movl %eax, -0x8c(%rbp)
jmp 0x12f13
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x88(%rbp)
movl %eax, -0x8c(%rbp)
jmp 0x12f0a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x88(%rbp)
movl %eax, -0x8c(%rbp)
jmp 0x12f01
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x88(%rbp)
movl %eax, -0x8c(%rbp)
jmp 0x12ef8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x88(%rbp)
movl %eax, -0x8c(%rbp)
leaq -0xb0(%rbp), %rdi
callq 0x16340
leaq -0x48(%rbp), %rdi
callq 0x16360
leaq -0x58(%rbp), %rdi
callq 0x19730
leaq -0x78(%rbp), %rdi
callq 0x3110
leaq -0x79(%rbp), %rdi
callq 0x3270
leaq -0x50(%rbp), %rdi
callq 0x19730
jmp 0x132b5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x88(%rbp)
movl %eax, -0x8c(%rbp)
jmp 0x12fbc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x88(%rbp)
movl %eax, -0x8c(%rbp)
jmp 0x12fb0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x88(%rbp)
movl %eax, -0x8c(%rbp)
jmp 0x12fa4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x88(%rbp)
movl %eax, -0x8c(%rbp)
jmp 0x12f98
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x88(%rbp)
movl %eax, -0x8c(%rbp)
leaq -0x160(%rbp), %rdi
callq 0x16340
leaq -0x108(%rbp), %rdi
callq 0x16360
leaq -0x118(%rbp), %rdi
callq 0x19730
leaq -0x138(%rbp), %rdi
callq 0x3110
leaq -0x139(%rbp), %rdi
callq 0x3270
leaq -0x110(%rbp), %rdi
callq 0x19730
jmp 0x132b5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x88(%rbp)
movl %eax, -0x8c(%rbp)
jmp 0x1302b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x88(%rbp)
movl %eax, -0x8c(%rbp)
jmp 0x1301f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x88(%rbp)
movl %eax, -0x8c(%rbp)
leaq -0x1e0(%rbp), %rdi
callq 0x16340
leaq -0x1b8(%rbp), %rdi
callq 0x16360
leaq -0x1c0(%rbp), %rdi
callq 0x19730
jmp 0x132b5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x88(%rbp)
movl %eax, -0x8c(%rbp)
jmp 0x1308e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x88(%rbp)
movl %eax, -0x8c(%rbp)
jmp 0x13082
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x88(%rbp)
movl %eax, -0x8c(%rbp)
leaq -0x260(%rbp), %rdi
callq 0x16340
leaq -0x238(%rbp), %rdi
callq 0x16360
leaq -0x240(%rbp), %rdi
callq 0x19730
jmp 0x132b5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x88(%rbp)
movl %eax, -0x8c(%rbp)
jmp 0x130f1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x88(%rbp)
movl %eax, -0x8c(%rbp)
jmp 0x130e5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x88(%rbp)
movl %eax, -0x8c(%rbp)
leaq -0x300(%rbp), %rdi
callq 0x163c0
leaq -0x2e0(%rbp), %rdi
callq 0x16360
movl -0x8c(%rbp), %eax
movl $0x1, %ecx
cmpl %ecx, %eax
jne 0x132b5
movq -0x88(%rbp), %rdi
callq 0x30b0
movq %rax, -0x318(%rbp)
movq -0x318(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x13124
movq 0x1116d(%rip), %rax     # 0x24298
movq %rax, -0x478(%rbp)
leaq 0x8ecb(%rip), %rsi      # 0x1c004
leaq -0x328(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0x1314c
leaq -0x338(%rbp), %rdi
callq 0x15db0
jmp 0x1315a
movq -0x478(%rbp), %rdi
leaq -0x328(%rbp), %rsi
movl $0xd2, %edx
leaq -0x338(%rbp), %rcx
callq 0x3470
jmp 0x1317b
leaq -0x350(%rbp), %rdi
movl $0x1, %esi
callq 0x162c0
jmp 0x1318e
callq 0x16040
movq %rax, -0x480(%rbp)
jmp 0x1319c
movq -0x480(%rbp), %rsi
leaq 0x9169(%rip), %rdx      # 0x1c313
leaq -0x370(%rbp), %rdi
callq 0x163e0
jmp 0x131b8
leaq 0x8e45(%rip), %rsi      # 0x1c004
leaq -0x380(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0x131d2
movq %rsp, %rax
movq $0x0, (%rax)
xorl %eax, %eax
leaq -0x350(%rbp), %rdi
leaq -0x370(%rbp), %rsi
leaq -0x380(%rbp), %rdx
movl $0xd2, %ecx
movl $0x1, %r9d
movl %r9d, %r8d
callq 0x3460
jmp 0x13208
leaq -0x370(%rbp), %rdi
callq 0x16420
leaq -0x350(%rbp), %rdi
callq 0x16360
callq 0x16070
movb %al, -0x481(%rbp)
jmp 0x1322d
movb -0x481(%rbp), %al
testb $0x1, %al
jne 0x13124
jmp 0x1323d
callq 0x33d0
jmp 0x13244
callq 0x16070
testb $0x1, %al
jne 0x12ce6
addq $0x490, %rsp            # imm = 0x490
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x88(%rbp)
movl %eax, -0x8c(%rbp)
jmp 0x132ac
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x88(%rbp)
movl %eax, -0x8c(%rbp)
jmp 0x132a0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x88(%rbp)
movl %eax, -0x8c(%rbp)
leaq -0x370(%rbp), %rdi
callq 0x16420
leaq -0x350(%rbp), %rdi
callq 0x16360
callq 0x33d0
jmp 0x132b3
jmp 0x132b5
movq -0x88(%rbp), %rdi
callq 0x3420
movq %rax, %rdi
callq 0x16440
nopl (%rax)