// File: aisthesis[P]realnumber/tst/real_number_test.cpp
// Function: comparison_operators::greater_or_equal::test_method()
BOOST_AUTO_TEST_CASE(greater_or_equal) {
		RealNumber one_rn_again(one_str);
		BOOST_CHECK(big_num_rn >= one_rn);
		BOOST_CHECK(one_rn_again >= one_rn);
		BOOST_CHECK(one_rn >= one_rn_again);
		BOOST_CHECK(two_rn >= two_rn);
		BOOST_CHECK(one_rn >= small_num_rn);
		BOOST_CHECK(!(one_rn >= big_num_rn));
	}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x3c0, %rsp            # imm = 0x3C0
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rsi
movq %rsi, -0x2f8(%rbp)
addq $0x20, %rsi
leaq -0x10(%rbp), %rdi
callq 0x19420
movq 0x1930a(%rip), %rax     # 0x24298
movq %rax, -0x300(%rbp)
leaq 0x11068(%rip), %rsi     # 0x1c004
leaq -0x20(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xafac
leaq -0x40(%rbp), %rdi
callq 0x15db0
jmp 0xafb7
movq -0x300(%rbp), %rdi
leaq -0x20(%rbp), %rsi
movl $0x87, %edx
leaq -0x40(%rbp), %rcx
callq 0x3470
jmp 0xafd2
movq -0x2f8(%rbp), %rsi
movq %rsi, %rdi
addq $0x118, %rdi            # imm = 0x118
addq $0x108, %rsi            # imm = 0x108
callq 0x19ac0
movb %al, -0x301(%rbp)
jmp 0xaff7
movb -0x301(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x58(%rbp), %rdi
callq 0x162c0
jmp 0xb00e
callq 0x16040
movq %rax, -0x310(%rbp)
jmp 0xb01c
leaq 0x1144b(%rip), %rsi     # 0x1c46e
leaq -0x88(%rbp), %rdi
movl $0x14, %edx
callq 0x15d80
jmp 0xb036
movq -0x310(%rbp), %rsi
leaq -0x78(%rbp), %rdi
leaq -0x88(%rbp), %rdx
callq 0x16300
jmp 0xb04f
leaq 0x10fae(%rip), %rsi     # 0x1c004
leaq -0x98(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xb069
movq %rsp, %rax
movq $0x0, (%rax)
xorl %r9d, %r9d
movb %r9b, %al
leaq -0x58(%rbp), %rdi
leaq -0x78(%rbp), %rsi
leaq -0x98(%rbp), %rdx
movl $0x87, %ecx
movl $0x1, %r8d
callq 0x3460
jmp 0xb09a
leaq -0x78(%rbp), %rdi
callq 0x16340
leaq -0x58(%rbp), %rdi
callq 0x16360
callq 0x16070
movb %al, -0x311(%rbp)
jmp 0xb0b9
movb -0x311(%rbp), %al
testb $0x1, %al
jne 0xaf87
jmp 0xb0c9
jmp 0xb0cb
movq 0x191c6(%rip), %rax     # 0x24298
movq %rax, -0x320(%rbp)
leaq 0x10f24(%rip), %rsi     # 0x1c004
leaq -0xa8(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xb0f3
leaq -0xb8(%rbp), %rdi
callq 0x15db0
jmp 0xb101
movq -0x320(%rbp), %rdi
leaq -0xa8(%rbp), %rsi
movl $0x88, %edx
leaq -0xb8(%rbp), %rcx
callq 0x3470
jmp 0xb122
movq -0x2f8(%rbp), %rsi
addq $0x108, %rsi            # imm = 0x108
leaq -0x10(%rbp), %rdi
callq 0x19ac0
movb %al, -0x321(%rbp)
jmp 0xb141
movb -0x321(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0xd0(%rbp), %rdi
callq 0x162c0
jmp 0xb15b
callq 0x16040
movq %rax, -0x330(%rbp)
jmp 0xb169
leaq 0x11313(%rip), %rsi     # 0x1c483
leaq -0x100(%rbp), %rdi
movl $0x16, %edx
callq 0x15d80
jmp 0xb183
movq -0x330(%rbp), %rsi
leaq -0xf0(%rbp), %rdi
leaq -0x100(%rbp), %rdx
callq 0x16300
jmp 0xb19f
leaq 0x10e5e(%rip), %rsi     # 0x1c004
leaq -0x110(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xb1b9
movq %rsp, %rax
movq $0x0, (%rax)
xorl %r9d, %r9d
movb %r9b, %al
leaq -0xd0(%rbp), %rdi
leaq -0xf0(%rbp), %rsi
leaq -0x110(%rbp), %rdx
movl $0x88, %ecx
movl $0x1, %r8d
callq 0x3460
jmp 0xb1f0
leaq -0xf0(%rbp), %rdi
callq 0x16340
leaq -0xd0(%rbp), %rdi
callq 0x16360
callq 0x16070
movb %al, -0x331(%rbp)
jmp 0xb215
movb -0x331(%rbp), %al
testb $0x1, %al
jne 0xb0cb
jmp 0xb225
jmp 0xb227
movq 0x1906a(%rip), %rax     # 0x24298
movq %rax, -0x340(%rbp)
leaq 0x10dc8(%rip), %rsi     # 0x1c004
leaq -0x120(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xb24f
leaq -0x130(%rbp), %rdi
callq 0x15db0
jmp 0xb25d
movq -0x340(%rbp), %rdi
leaq -0x120(%rbp), %rsi
movl $0x89, %edx
leaq -0x130(%rbp), %rcx
callq 0x3470
jmp 0xb27e
movq -0x2f8(%rbp), %rdi
addq $0x108, %rdi            # imm = 0x108
leaq -0x10(%rbp), %rsi
callq 0x19ac0
movb %al, -0x341(%rbp)
jmp 0xb29d
movb -0x341(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x148(%rbp), %rdi
callq 0x162c0
jmp 0xb2b7
callq 0x16040
movq %rax, -0x350(%rbp)
jmp 0xb2c5
leaq 0x111ce(%rip), %rsi     # 0x1c49a
leaq -0x178(%rbp), %rdi
movl $0x16, %edx
callq 0x15d80
jmp 0xb2df
movq -0x350(%rbp), %rsi
leaq -0x168(%rbp), %rdi
leaq -0x178(%rbp), %rdx
callq 0x16300
jmp 0xb2fb
leaq 0x10d02(%rip), %rsi     # 0x1c004
leaq -0x188(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xb315
movq %rsp, %rax
movq $0x0, (%rax)
xorl %r9d, %r9d
movb %r9b, %al
leaq -0x148(%rbp), %rdi
leaq -0x168(%rbp), %rsi
leaq -0x188(%rbp), %rdx
movl $0x89, %ecx
movl $0x1, %r8d
callq 0x3460
jmp 0xb34c
leaq -0x168(%rbp), %rdi
callq 0x16340
leaq -0x148(%rbp), %rdi
callq 0x16360
callq 0x16070
movb %al, -0x351(%rbp)
jmp 0xb371
movb -0x351(%rbp), %al
testb $0x1, %al
jne 0xb227
jmp 0xb381
jmp 0xb383
movq 0x18f0e(%rip), %rax     # 0x24298
movq %rax, -0x360(%rbp)
leaq 0x10c6c(%rip), %rsi     # 0x1c004
leaq -0x198(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xb3ab
leaq -0x1a8(%rbp), %rdi
callq 0x15db0
jmp 0xb3b9
movq -0x360(%rbp), %rdi
leaq -0x198(%rbp), %rsi
movl $0x8a, %edx
leaq -0x1a8(%rbp), %rcx
callq 0x3470
jmp 0xb3da
movq -0x2f8(%rbp), %rsi
addq $0x110, %rsi            # imm = 0x110
movq %rsi, %rdi
callq 0x19ac0
movb %al, -0x361(%rbp)
jmp 0xb3f8
movb -0x361(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x1c0(%rbp), %rdi
callq 0x162c0
jmp 0xb412
callq 0x16040
movq %rax, -0x370(%rbp)
jmp 0xb420
leaq 0x1108a(%rip), %rsi     # 0x1c4b1
leaq -0x1f0(%rbp), %rdi
movl $0x10, %edx
callq 0x15d80
jmp 0xb43a
movq -0x370(%rbp), %rsi
leaq -0x1e0(%rbp), %rdi
leaq -0x1f0(%rbp), %rdx
callq 0x16300
jmp 0xb456
leaq 0x10ba7(%rip), %rsi     # 0x1c004
leaq -0x200(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xb470
movq %rsp, %rax
movq $0x0, (%rax)
xorl %r9d, %r9d
movb %r9b, %al
leaq -0x1c0(%rbp), %rdi
leaq -0x1e0(%rbp), %rsi
leaq -0x200(%rbp), %rdx
movl $0x8a, %ecx
movl $0x1, %r8d
callq 0x3460
jmp 0xb4a7
leaq -0x1e0(%rbp), %rdi
callq 0x16340
leaq -0x1c0(%rbp), %rdi
callq 0x16360
callq 0x16070
movb %al, -0x371(%rbp)
jmp 0xb4cc
movb -0x371(%rbp), %al
testb $0x1, %al
jne 0xb383
jmp 0xb4dc
jmp 0xb4de
movq 0x18db3(%rip), %rax     # 0x24298
movq %rax, -0x380(%rbp)
leaq 0x10b11(%rip), %rsi     # 0x1c004
leaq -0x210(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xb506
leaq -0x220(%rbp), %rdi
callq 0x15db0
jmp 0xb514
movq -0x380(%rbp), %rdi
leaq -0x210(%rbp), %rsi
movl $0x8b, %edx
leaq -0x220(%rbp), %rcx
callq 0x3470
jmp 0xb535
movq -0x2f8(%rbp), %rsi
movq %rsi, %rdi
addq $0x108, %rdi            # imm = 0x108
addq $0x120, %rsi            # imm = 0x120
callq 0x19ac0
movb %al, -0x381(%rbp)
jmp 0xb55a
movb -0x381(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x238(%rbp), %rdi
callq 0x162c0
jmp 0xb574
callq 0x16040
movq %rax, -0x390(%rbp)
jmp 0xb582
leaq 0x10f39(%rip), %rsi     # 0x1c4c2
leaq -0x268(%rbp), %rdi
movl $0x16, %edx
callq 0x15d80
jmp 0xb59c
movq -0x390(%rbp), %rsi
leaq -0x258(%rbp), %rdi
leaq -0x268(%rbp), %rdx
callq 0x16300
jmp 0xb5b8
leaq 0x10a45(%rip), %rsi     # 0x1c004
leaq -0x278(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xb5d2
movq %rsp, %rax
movq $0x0, (%rax)
xorl %r9d, %r9d
movb %r9b, %al
leaq -0x238(%rbp), %rdi
leaq -0x258(%rbp), %rsi
leaq -0x278(%rbp), %rdx
movl $0x8b, %ecx
movl $0x1, %r8d
callq 0x3460
jmp 0xb609
leaq -0x258(%rbp), %rdi
callq 0x16340
leaq -0x238(%rbp), %rdi
callq 0x16360
callq 0x16070
movb %al, -0x391(%rbp)
jmp 0xb62e
movb -0x391(%rbp), %al
testb $0x1, %al
jne 0xb4de
jmp 0xb63e
jmp 0xb640
movq 0x18c51(%rip), %rax     # 0x24298
movq %rax, -0x3a0(%rbp)
leaq 0x109af(%rip), %rsi     # 0x1c004
leaq -0x288(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xb668
leaq -0x298(%rbp), %rdi
callq 0x15db0
jmp 0xb676
movq -0x3a0(%rbp), %rdi
leaq -0x288(%rbp), %rsi
movl $0x8c, %edx
leaq -0x298(%rbp), %rcx
callq 0x3470
jmp 0xb697
movq -0x2f8(%rbp), %rsi
movq %rsi, %rdi
addq $0x108, %rdi            # imm = 0x108
addq $0x118, %rsi            # imm = 0x118
callq 0x19ac0
movb %al, -0x3a1(%rbp)
jmp 0xb6bc
movb -0x3a1(%rbp), %al
notb %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x2b0(%rbp), %rdi
callq 0x162c0
jmp 0xb6d8
callq 0x16040
movq %rax, -0x3b0(%rbp)
jmp 0xb6e6
leaq 0x10dec(%rip), %rsi     # 0x1c4d9
leaq -0x2e0(%rbp), %rdi
movl $0x17, %edx
callq 0x15d80
jmp 0xb700
movq -0x3b0(%rbp), %rsi
leaq -0x2d0(%rbp), %rdi
leaq -0x2e0(%rbp), %rdx
callq 0x16300
jmp 0xb71c
leaq 0x108e1(%rip), %rsi     # 0x1c004
leaq -0x2f0(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xb736
movq %rsp, %rax
movq $0x0, (%rax)
xorl %r9d, %r9d
movb %r9b, %al
leaq -0x2b0(%rbp), %rdi
leaq -0x2d0(%rbp), %rsi
leaq -0x2f0(%rbp), %rdx
movl $0x8c, %ecx
movl $0x1, %r8d
callq 0x3460
jmp 0xb76d
leaq -0x2d0(%rbp), %rdi
callq 0x16340
leaq -0x2b0(%rbp), %rdi
callq 0x16360
callq 0x16070
movb %al, -0x3b1(%rbp)
jmp 0xb792
movb -0x3b1(%rbp), %al
testb $0x1, %al
jne 0xb640
jmp 0xb7a2
leaq -0x10(%rbp), %rdi
callq 0x19730
addq $0x3c0, %rsp            # imm = 0x3C0
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0xb8fe
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0xb7e8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
leaq -0x78(%rbp), %rdi
callq 0x16340
leaq -0x58(%rbp), %rdi
callq 0x16360
jmp 0xb8fe
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0xb81c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
leaq -0xf0(%rbp), %rdi
callq 0x16340
leaq -0xd0(%rbp), %rdi
callq 0x16360
jmp 0xb8fe
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0xb853
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
leaq -0x168(%rbp), %rdi
callq 0x16340
leaq -0x148(%rbp), %rdi
callq 0x16360
jmp 0xb8fe
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0xb88a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
leaq -0x1e0(%rbp), %rdi
callq 0x16340
leaq -0x1c0(%rbp), %rdi
callq 0x16360
jmp 0xb8fe
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0xb8be
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
leaq -0x258(%rbp), %rdi
callq 0x16340
leaq -0x238(%rbp), %rdi
callq 0x16360
jmp 0xb8fe
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0xb8f2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
leaq -0x2d0(%rbp), %rdi
callq 0x16340
leaq -0x2b0(%rbp), %rdi
callq 0x16360
leaq -0x10(%rbp), %rdi
callq 0x19730
movq -0x28(%rbp), %rdi
callq 0x3420