float/float_ieee854/float-float_ieee854-zoomed.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 8.0.4 (20230421.1958)
 -->
<!-- Title: float&#45;float_ieee854&#45;zoomed Pages: 1 -->
<svg width="1001pt" height="758pt"
 viewBox="0.00 0.00 1001.00 757.50" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 753.5)">
<title>float&#45;float_ieee854&#45;zoomed</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-753.5 997,-753.5 997,4 -4,4"/>
<g id="clust3" class="cluster">
<title>cluster_float/float_ieee854</title>
<polygon fill="none" stroke="black" points="8,-8 8,-741.5 835,-741.5 835,-8 8,-8"/>
<text text-anchor="middle" x="421.5" y="-724.2" font-family="Times,serif" font-size="14.00">float/float_ieee854</text>
</g>
<g id="clust1" class="cluster">
<title>cluster_NASALib</title>
<polygon fill="none" stroke="black" points="843,-368 843,-444.5 985,-444.5 985,-368 843,-368"/>
<text text-anchor="middle" x="914" y="-427.2" font-family="Times,serif" font-size="14.00">NASALib</text>
</g>
<g id="clust2" class="cluster">
<title>cluster_float</title>
<polygon fill="none" stroke="black" points="843,-516.5 843,-593 967,-593 967,-516.5 843,-516.5"/>
<text text-anchor="middle" x="905" y="-575.7" font-family="Times,serif" font-size="14.00">float</text>
</g>
<!-- NASALib/ints -->
<g id="node1" class="node">
<title>NASALib/ints</title>
<polygon fill="#fcfcd7" stroke="black" points="977,-412 923,-412 923,-376 977,-376 977,-412"/>
<text text-anchor="middle" x="950" y="-388.95" font-family="Times,serif" font-size="14.00">ints</text>
</g>
<!-- NASALib/reals -->
<g id="node2" class="node">
<title>NASALib/reals</title>
<polygon fill="#fcfcd7" stroke="black" points="905,-412 851,-412 851,-376 905,-376 905,-412"/>
<text text-anchor="middle" x="878" y="-388.95" font-family="Times,serif" font-size="14.00">reals</text>
</g>
<!-- float/float_ieee854@IEEE_854 -->
<g id="node3" class="node">
<title>float/float_ieee854@IEEE_854</title>
<ellipse fill="#e6f3ff" stroke="black" cx="616" cy="-542.5" rx="49.3" ry="18"/>
<text text-anchor="middle" x="616" y="-537.45" font-family="Times,serif" font-size="14.00">IEEE_854</text>
</g>
<!-- float/float_ieee854@IEEE_854_defs -->
<g id="node4" class="node">
<title>float/float_ieee854@IEEE_854_defs</title>
<ellipse fill="#e6f3ff" stroke="black" cx="548" cy="-470.5" rx="69.26" ry="18"/>
<text text-anchor="middle" x="548" y="-465.45" font-family="Times,serif" font-size="14.00">IEEE_854_defs</text>
</g>
<!-- float/float_ieee854@IEEE_854&#45;&gt;float/float_ieee854@IEEE_854_defs -->
<g id="edge19" class="edge">
<title>float/float_ieee854@IEEE_854&#45;&gt;float/float_ieee854@IEEE_854_defs</title>
<path fill="none" stroke="black" d="M600.23,-525.26C591.77,-516.56 581.17,-505.65 571.74,-495.93"/>
<polygon fill="black" stroke="black" points="574.64,-493.87 565.16,-489.13 569.62,-498.74 574.64,-493.87"/>
</g>
<!-- float/float_ieee854@IEEE_854_defs&#45;&gt;NASALib/reals -->
<g id="edge1" class="edge">
<title>float/float_ieee854@IEEE_854_defs&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M612.93,-463.84C669.66,-458.89 743,-452.5 743,-452.5 743,-452.5 839,-444.5 839,-444.5 839,-444.5 848.14,-432.9 857.57,-420.93"/>
<polygon fill="black" stroke="black" points="860.92,-423.33 864.36,-413.31 855.42,-419 860.92,-423.33"/>
</g>
<!-- float/float_ieee854@IEEE_854_fp_int -->
<g id="node5" class="node">
<title>float/float_ieee854@IEEE_854_fp_int</title>
<ellipse fill="#e6f3ff" stroke="black" cx="365" cy="-394" rx="75.92" ry="18"/>
<text text-anchor="middle" x="365" y="-388.95" font-family="Times,serif" font-size="14.00">IEEE_854_fp_int</text>
</g>
<!-- float/float_ieee854@IEEE_854_defs&#45;&gt;float/float_ieee854@IEEE_854_fp_int -->
<g id="edge2" class="edge">
<title>float/float_ieee854@IEEE_854_defs&#45;&gt;float/float_ieee854@IEEE_854_fp_int</title>
<path fill="none" stroke="black" d="M505.8,-455.98C487.43,-450.09 470,-444.5 470,-444.5 470,-444.5 436.69,-428.79 407.59,-415.08"/>
<polygon fill="black" stroke="black" points="409.47,-411.62 398.93,-410.53 406.49,-417.96 409.47,-411.62"/>
</g>
<!-- float/float_ieee854@IEEE_854_remainder -->
<g id="node6" class="node">
<title>float/float_ieee854@IEEE_854_remainder</title>
<ellipse fill="#e6f3ff" stroke="black" cx="179" cy="-394" rx="91.78" ry="18"/>
<text text-anchor="middle" x="179" y="-388.95" font-family="Times,serif" font-size="14.00">IEEE_854_remainder</text>
</g>
<!-- float/float_ieee854@IEEE_854_defs&#45;&gt;float/float_ieee854@IEEE_854_remainder -->
<g id="edge3" class="edge">
<title>float/float_ieee854@IEEE_854_defs&#45;&gt;float/float_ieee854@IEEE_854_remainder</title>
<path fill="none" stroke="black" d="M494.96,-458.64C478.7,-455.31 465,-452.5 465,-452.5 465,-452.5 280,-444.5 280,-444.5 280,-444.5 249.21,-429.41 221.64,-415.9"/>
<polygon fill="black" stroke="black" points="223.59,-412.47 213.07,-411.21 220.51,-418.75 223.59,-412.47"/>
</g>
<!-- float/float_ieee854@IEEE_854_values -->
<g id="node7" class="node">
<title>float/float_ieee854@IEEE_854_values</title>
<ellipse fill="#e6f3ff" stroke="black" cx="613" cy="-178" rx="77.45" ry="18"/>
<text text-anchor="middle" x="613" y="-172.95" font-family="Times,serif" font-size="14.00">IEEE_854_values</text>
</g>
<!-- float/float_ieee854@IEEE_854_defs&#45;&gt;float/float_ieee854@IEEE_854_values -->
<g id="edge4" class="edge">
<title>float/float_ieee854@IEEE_854_defs&#45;&gt;float/float_ieee854@IEEE_854_values</title>
<path fill="none" stroke="black" d="M606,-249C606,-249 608.23,-226.66 610.18,-207.22"/>
<polygon fill="black" stroke="black" points="613.76,-207.6 611.27,-197.3 606.79,-206.91 613.76,-207.6"/>
</g>
<!-- float/float_ieee854@NaN_ops -->
<g id="node9" class="node">
<title>float/float_ieee854@NaN_ops</title>
<ellipse fill="#e6f3ff" stroke="black" cx="541" cy="-250" rx="45.72" ry="18"/>
<text text-anchor="middle" x="541" y="-244.95" font-family="Times,serif" font-size="14.00">NaN_ops</text>
</g>
<!-- float/float_ieee854@IEEE_854_defs&#45;&gt;float/float_ieee854@NaN_ops -->
<g id="edge5" class="edge">
<title>float/float_ieee854@IEEE_854_defs&#45;&gt;float/float_ieee854@NaN_ops</title>
<path fill="none" stroke="black" d="M650,-393C650,-393 635,-368 635,-368 635,-368 616,-340 616,-340 616,-340 606,-323 606,-323"/>
<path fill="none" stroke="black" d="M606,-321C606,-321 591,-304 591,-304 591,-304 576.75,-288.89 563.46,-274.81"/>
<polygon fill="black" stroke="black" points="566.68,-273.06 557.27,-268.19 561.59,-277.87 566.68,-273.06"/>
<path fill="none" stroke="black" d="M593.28,-456.49C614.42,-450.41 635,-444.5 635,-444.5 635,-444.5 650,-395 650,-395"/>
</g>
<!-- float/float_ieee854@arithmetic_ops -->
<g id="node10" class="node">
<title>float/float_ieee854@arithmetic_ops</title>
<ellipse fill="#e6f3ff" stroke="black" cx="545" cy="-394" rx="66.19" ry="18"/>
<text text-anchor="middle" x="545" y="-388.95" font-family="Times,serif" font-size="14.00">arithmetic_ops</text>
</g>
<!-- float/float_ieee854@IEEE_854_defs&#45;&gt;float/float_ieee854@arithmetic_ops -->
<g id="edge6" class="edge">
<title>float/float_ieee854@IEEE_854_defs&#45;&gt;float/float_ieee854@arithmetic_ops</title>
<path fill="none" stroke="black" d="M547.3,-452.22C546.96,-443.63 546.53,-433.03 546.14,-423.3"/>
<polygon fill="black" stroke="black" points="549.6,-423.29 545.7,-413.44 542.61,-423.58 549.6,-423.29"/>
</g>
<!-- float/float_ieee854@comparison1 -->
<g id="node11" class="node">
<title>float/float_ieee854@comparison1</title>
<ellipse fill="#e6f3ff" stroke="black" cx="748" cy="-394" rx="59.03" ry="18"/>
<text text-anchor="middle" x="748" y="-388.95" font-family="Times,serif" font-size="14.00">comparison1</text>
</g>
<!-- float/float_ieee854@IEEE_854_defs&#45;&gt;float/float_ieee854@comparison1 -->
<g id="edge7" class="edge">
<title>float/float_ieee854@IEEE_854_defs&#45;&gt;float/float_ieee854@comparison1</title>
<path fill="none" stroke="black" d="M598.37,-457.73C626.12,-451.25 655,-444.5 655,-444.5 655,-444.5 684.28,-428.91 709.98,-415.23"/>
<polygon fill="black" stroke="black" points="711.41,-417.91 718.59,-410.12 708.12,-411.73 711.41,-417.91"/>
</g>
<!-- float/float_ieee854@enumerated_type_defs -->
<g id="node12" class="node">
<title>float/float_ieee854@enumerated_type_defs</title>
<ellipse fill="#e6f3ff" stroke="black" cx="111" cy="-34" rx="94.86" ry="18"/>
<text text-anchor="middle" x="111" y="-28.95" font-family="Times,serif" font-size="14.00">enumerated_type_defs</text>
</g>
<!-- float/float_ieee854@IEEE_854_defs&#45;&gt;float/float_ieee854@enumerated_type_defs -->
<g id="edge8" class="edge">
<title>float/float_ieee854@IEEE_854_defs&#45;&gt;float/float_ieee854@enumerated_type_defs</title>
<path fill="none" stroke="black" d="M606,-249C606,-249 596,-232 596,-232 596,-232 527,-196 527,-196 527,-196 517,-179 517,-179"/>
<path fill="none" stroke="black" d="M606,-321C606,-321 606,-251 606,-251"/>
</g>
<!-- float/float_ieee854@infinity_arithmetic -->
<g id="node14" class="node">
<title>float/float_ieee854@infinity_arithmetic</title>
<ellipse fill="#e6f3ff" stroke="black" cx="706" cy="-322" rx="80.52" ry="18"/>
<text text-anchor="middle" x="706" y="-316.95" font-family="Times,serif" font-size="14.00">infinity_arithmetic</text>
</g>
<!-- float/float_ieee854@IEEE_854_defs&#45;&gt;float/float_ieee854@infinity_arithmetic -->
<g id="edge9" class="edge">
<title>float/float_ieee854@IEEE_854_defs&#45;&gt;float/float_ieee854@infinity_arithmetic</title>
<path fill="none" stroke="black" d="M650,-393C650,-393 665,-368 665,-368 665,-368 673.82,-358.32 683.28,-347.94"/>
<polygon fill="black" stroke="black" points="685.35,-350.76 689.5,-341.01 680.18,-346.05 685.35,-350.76"/>
</g>
<!-- float/float_ieee854@IEEE_854_fp_int&#45;&gt;float/float_ieee854@IEEE_854_values -->
<g id="edge10" class="edge">
<title>float/float_ieee854@IEEE_854_fp_int&#45;&gt;float/float_ieee854@IEEE_854_values</title>
<path fill="none" stroke="black" d="M365,-375.7C365,-354.97 365,-323 365,-323"/>
</g>
<!-- float/float_ieee854@real_to_fp -->
<g id="node16" class="node">
<title>float/float_ieee854@real_to_fp</title>
<ellipse fill="#e6f3ff" stroke="black" cx="156" cy="-322" rx="48.79" ry="18"/>
<text text-anchor="middle" x="156" y="-316.95" font-family="Times,serif" font-size="14.00">real_to_fp</text>
</g>
<!-- float/float_ieee854@IEEE_854_fp_int&#45;&gt;float/float_ieee854@real_to_fp -->
<g id="edge11" class="edge">
<title>float/float_ieee854@IEEE_854_fp_int&#45;&gt;float/float_ieee854@real_to_fp</title>
<path fill="none" stroke="black" d="M322.45,-378.75C287.26,-366.96 237.39,-350.26 201.42,-338.21"/>
<polygon fill="black" stroke="black" points="202.8,-334.65 192.2,-334.79 200.58,-341.29 202.8,-334.65"/>
</g>
<!-- float/float_ieee854@round -->
<g id="node17" class="node">
<title>float/float_ieee854@round</title>
<ellipse fill="#e6f3ff" stroke="black" cx="68" cy="-106" rx="32.41" ry="18"/>
<text text-anchor="middle" x="68" y="-100.95" font-family="Times,serif" font-size="14.00">round</text>
</g>
<!-- float/float_ieee854@IEEE_854_fp_int&#45;&gt;float/float_ieee854@round -->
<g id="edge12" class="edge">
<title>float/float_ieee854@IEEE_854_fp_int&#45;&gt;float/float_ieee854@round</title>
<path fill="none" stroke="black" d="M318.52,-379.33C298.68,-373.49 280,-368 280,-368 280,-368 98,-340 98,-340 98,-340 88,-251 88,-251"/>
</g>
<!-- float/float_ieee854@IEEE_854_remainder&#45;&gt;float/float_ieee854@IEEE_854_values -->
<g id="edge13" class="edge">
<title>float/float_ieee854@IEEE_854_remainder&#45;&gt;float/float_ieee854@IEEE_854_values</title>
<path fill="none" stroke="black" d="M476,-249C476,-249 486,-232 486,-232 486,-232 530.35,-213.49 566.63,-198.35"/>
<polygon fill="black" stroke="black" points="567.73,-201.27 575.61,-194.19 565.03,-194.81 567.73,-201.27"/>
<path fill="none" stroke="black" d="M220.28,-377.46C275.08,-356.84 365,-323 365,-323"/>
<path fill="none" stroke="black" d="M365,-321C365,-321 453,-268 453,-268 453,-268 476,-251 476,-251"/>
</g>
<!-- float/float_ieee854@IEEE_854_remainder&#45;&gt;float/float_ieee854@real_to_fp -->
<g id="edge14" class="edge">
<title>float/float_ieee854@IEEE_854_remainder&#45;&gt;float/float_ieee854@real_to_fp</title>
<path fill="none" stroke="black" d="M173.31,-375.7C170.81,-368.07 167.8,-358.92 165,-350.4"/>
<polygon fill="black" stroke="black" points="168.07,-349.51 161.62,-341.1 161.42,-351.7 168.07,-349.51"/>
</g>
<!-- float/float_ieee854@IEEE_854_remainder&#45;&gt;float/float_ieee854@round -->
<g id="edge15" class="edge">
<title>float/float_ieee854@IEEE_854_remainder&#45;&gt;float/float_ieee854@round</title>
<path fill="none" stroke="black" d="M88,-249C88,-249 77.8,-176.59 71.97,-135.18"/>
<polygon fill="black" stroke="black" points="75.31,-134.83 70.45,-125.41 68.38,-135.8 75.31,-134.83"/>
<path fill="none" stroke="black" d="M149.15,-376.52C120.97,-360.96 83,-340 83,-340 83,-340 83,-304 83,-304 83,-304 88,-251 88,-251"/>
</g>
<!-- float/float_ieee854@IEEE_854_values&#45;&gt;float/float_ieee854@enumerated_type_defs -->
<g id="edge16" class="edge">
<title>float/float_ieee854@IEEE_854_values&#45;&gt;float/float_ieee854@enumerated_type_defs</title>
<path fill="none" stroke="black" d="M590.25,-160.41C561.86,-139.71 517,-107 517,-107"/>
</g>
<!-- float/float_ieee854@sum_hack -->
<g id="node18" class="node">
<title>float/float_ieee854@sum_hack</title>
<ellipse fill="#e6f3ff" stroke="black" cx="716" cy="-34" rx="48.79" ry="18"/>
<text text-anchor="middle" x="716" y="-28.95" font-family="Times,serif" font-size="14.00">sum_hack</text>
</g>
<!-- float/float_ieee854@IEEE_854_values&#45;&gt;float/float_ieee854@sum_hack -->
<g id="edge17" class="edge">
<title>float/float_ieee854@IEEE_854_values&#45;&gt;float/float_ieee854@sum_hack</title>
<path fill="none" stroke="black" d="M619.36,-159.84C628.95,-133.98 646,-88 646,-88 646,-88 667.6,-71.64 686.81,-57.1"/>
<polygon fill="black" stroke="black" points="688.52,-59.44 694.38,-50.62 684.29,-53.86 688.52,-59.44"/>
</g>
<!-- float/float_ieee854@sum_lemmas -->
<g id="node19" class="node">
<title>float/float_ieee854@sum_lemmas</title>
<ellipse fill="#e6f3ff" stroke="black" cx="716" cy="-106" rx="61.08" ry="18"/>
<text text-anchor="middle" x="716" y="-100.95" font-family="Times,serif" font-size="14.00">sum_lemmas</text>
</g>
<!-- float/float_ieee854@IEEE_854_values&#45;&gt;float/float_ieee854@sum_lemmas -->
<g id="edge18" class="edge">
<title>float/float_ieee854@IEEE_854_values&#45;&gt;float/float_ieee854@sum_lemmas</title>
<path fill="none" stroke="black" d="M637.15,-160.59C650.94,-151.22 668.41,-139.34 683.4,-129.16"/>
<polygon fill="black" stroke="black" points="685.05,-131.58 691.36,-123.07 681.12,-125.79 685.05,-131.58"/>
</g>
<!-- float/float_ieee854@IEEE_link -->
<g id="node8" class="node">
<title>float/float_ieee854@IEEE_link</title>
<ellipse fill="#e6f3ff" stroke="black" cx="617" cy="-619" rx="49.82" ry="18"/>
<text text-anchor="middle" x="617" y="-613.95" font-family="Times,serif" font-size="14.00">IEEE_link</text>
</g>
<!-- float/float_ieee854@IEEE_link&#45;&gt;NASALib/ints -->
<g id="edge20" class="edge">
<title>float/float_ieee854@IEEE_link&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M647.84,-604.48C661.27,-598.59 674,-593 674,-593 674,-593 914,-444.5 914,-444.5 914,-444.5 922.44,-432.9 931.14,-420.93"/>
<polygon fill="black" stroke="black" points="934.36,-423.46 937.41,-413.31 928.7,-419.34 934.36,-423.46"/>
</g>
<!-- float/float_ieee854@IEEE_link&#45;&gt;float/float_ieee854@IEEE_854 -->
<g id="edge21" class="edge">
<title>float/float_ieee854@IEEE_link&#45;&gt;float/float_ieee854@IEEE_854</title>
<path fill="none" stroke="black" d="M616.77,-600.72C616.65,-592.13 616.51,-581.53 616.38,-571.8"/>
<polygon fill="black" stroke="black" points="619.87,-571.9 616.23,-561.94 612.87,-571.99 619.87,-571.9"/>
</g>
<!-- float/float_unbounded -->
<g id="node21" class="node">
<title>float/float_unbounded</title>
<polygon fill="#fcfcd7" stroke="black" points="958.75,-560.5 851.25,-560.5 851.25,-524.5 958.75,-524.5 958.75,-560.5"/>
<text text-anchor="middle" x="905" y="-537.45" font-family="Times,serif" font-size="14.00">float_unbounded</text>
</g>
<!-- float/float_ieee854@IEEE_link&#45;&gt;float/float_unbounded -->
<g id="edge22" class="edge">
<title>float/float_ieee854@IEEE_link&#45;&gt;float/float_unbounded</title>
<path fill="none" stroke="black" d="M664.08,-612.7C729.25,-605.36 839,-593 839,-593 839,-593 856.32,-580.01 873.21,-567.34"/>
<polygon fill="black" stroke="black" points="875.02,-569.61 880.92,-560.81 870.82,-564.01 875.02,-569.61"/>
</g>
<!-- float/float_ieee854@NaN_ops&#45;&gt;float/float_ieee854@IEEE_854_values -->
<g id="edge23" class="edge">
<title>float/float_ieee854@NaN_ops&#45;&gt;float/float_ieee854@IEEE_854_values</title>
<path fill="none" stroke="black" d="M557.7,-232.76C566.75,-223.97 578.1,-212.93 588.17,-203.14"/>
<polygon fill="black" stroke="black" points="590.16,-206.11 594.89,-196.63 585.28,-201.09 590.16,-206.11"/>
</g>
<!-- float/float_ieee854@NaN_ops&#45;&gt;float/float_ieee854@enumerated_type_defs -->
<g id="edge24" class="edge">
<title>float/float_ieee854@NaN_ops&#45;&gt;float/float_ieee854@enumerated_type_defs</title>
<path fill="none" stroke="black" d="M535.07,-231.7C527.96,-210.97 517,-179 517,-179"/>
</g>
<!-- float/float_ieee854@arithmetic_ops&#45;&gt;float/float_ieee854@IEEE_854_values -->
<g id="edge25" class="edge">
<title>float/float_ieee854@arithmetic_ops&#45;&gt;float/float_ieee854@IEEE_854_values</title>
<path fill="none" stroke="black" d="M476,-321C476,-321 476,-251 476,-251"/>
</g>
<!-- float/float_ieee854@arithmetic_ops&#45;&gt;float/float_ieee854@enumerated_type_defs -->
<g id="edge26" class="edge">
<title>float/float_ieee854@arithmetic_ops&#45;&gt;float/float_ieee854@enumerated_type_defs</title>
<path fill="none" stroke="black" d="M528.65,-376.41C508.24,-355.71 476,-323 476,-323"/>
<path fill="none" stroke="black" d="M476,-321C476,-321 471,-268 471,-268 471,-268 471,-232 471,-232 471,-232 517,-179 517,-179"/>
<path fill="none" stroke="black" d="M517,-177C517,-177 517,-107 517,-107"/>
</g>
<!-- float/float_ieee854@arithmetic_ops&#45;&gt;float/float_ieee854@real_to_fp -->
<g id="edge27" class="edge">
<title>float/float_ieee854@arithmetic_ops&#45;&gt;float/float_ieee854@real_to_fp</title>
<path fill="none" stroke="black" d="M498.61,-380.79C474.5,-374.45 450,-368 450,-368 450,-368 296.64,-344.53 211.44,-331.49"/>
<polygon fill="black" stroke="black" points="212.07,-327.89 201.65,-329.83 211.01,-334.81 212.07,-327.89"/>
</g>
<!-- float/float_ieee854@comparison1&#45;&gt;float/float_ieee854@IEEE_854_values -->
<g id="edge28" class="edge">
<title>float/float_ieee854@comparison1&#45;&gt;float/float_ieee854@IEEE_854_values</title>
<path fill="none" stroke="black" d="M763.19,-376.23C777.25,-360.7 796,-340 796,-340 796,-340 796,-304 796,-304 796,-304 786,-251 786,-251"/>
</g>
<!-- float/float_ieee854@fp_round_aux -->
<g id="node13" class="node">
<title>float/float_ieee854@fp_round_aux</title>
<ellipse fill="#e6f3ff" stroke="black" cx="267" cy="-178" rx="62.61" ry="18"/>
<text text-anchor="middle" x="267" y="-172.95" font-family="Times,serif" font-size="14.00">fp_round_aux</text>
</g>
<!-- float/float_ieee854@fp_round_aux&#45;&gt;float/float_ieee854@enumerated_type_defs -->
<g id="edge29" class="edge">
<title>float/float_ieee854@fp_round_aux&#45;&gt;float/float_ieee854@enumerated_type_defs</title>
<path fill="none" stroke="black" d="M517,-105C517,-105 308.35,-69.03 190.2,-48.66"/>
<polygon fill="black" stroke="black" points="190.86,-45.05 180.41,-46.8 189.67,-51.94 190.86,-45.05"/>
<path fill="none" stroke="black" d="M310.83,-164.73C382.53,-144.65 517,-107 517,-107"/>
</g>
<!-- float/float_ieee854@fp_round_aux&#45;&gt;float/float_ieee854@round -->
<g id="edge30" class="edge">
<title>float/float_ieee854@fp_round_aux&#45;&gt;float/float_ieee854@round</title>
<path fill="none" stroke="black" d="M228.63,-163.5C193.01,-150.97 140.33,-132.44 105.11,-120.06"/>
<polygon fill="black" stroke="black" points="106.38,-116.44 95.79,-116.42 104.06,-123.04 106.38,-116.44"/>
</g>
<!-- float/float_ieee854@infinity_arithmetic&#45;&gt;float/float_ieee854@IEEE_854_values -->
<g id="edge31" class="edge">
<title>float/float_ieee854@infinity_arithmetic&#45;&gt;float/float_ieee854@IEEE_854_values</title>
<path fill="none" stroke="black" d="M725.37,-304.05C749.04,-283.34 786,-251 786,-251"/>
<path fill="none" stroke="black" d="M786,-249C786,-249 711.66,-218.92 660.44,-198.2"/>
<polygon fill="black" stroke="black" points="662.12,-194.7 651.54,-194.19 659.5,-201.18 662.12,-194.7"/>
</g>
<!-- float/float_ieee854@infinity_arithmetic&#45;&gt;float/float_ieee854@enumerated_type_defs -->
<g id="edge32" class="edge">
<title>float/float_ieee854@infinity_arithmetic&#45;&gt;float/float_ieee854@enumerated_type_defs</title>
<path fill="none" stroke="black" d="M732.43,-304.52C757.38,-288.96 791,-268 791,-268 791,-268 791,-232 791,-232 791,-232 699,-160 699,-160 699,-160 517,-107 517,-107"/>
</g>
<!-- float/float_ieee854@over_under -->
<g id="node15" class="node">
<title>float/float_ieee854@over_under</title>
<ellipse fill="#e6f3ff" stroke="black" cx="364" cy="-250" rx="52.89" ry="18"/>
<text text-anchor="middle" x="364" y="-244.95" font-family="Times,serif" font-size="14.00">over_under</text>
</g>
<!-- float/float_ieee854@over_under&#45;&gt;float/float_ieee854@IEEE_854_values -->
<g id="edge33" class="edge">
<title>float/float_ieee854@over_under&#45;&gt;float/float_ieee854@IEEE_854_values</title>
<path fill="none" stroke="black" d="M404.01,-237.75C444.69,-226.32 508.17,-208.47 554.5,-195.45"/>
<polygon fill="black" stroke="black" points="555.31,-198.57 563.99,-192.5 553.42,-191.83 555.31,-198.57"/>
</g>
<!-- float/float_ieee854@over_under&#45;&gt;float/float_ieee854@enumerated_type_defs -->
<g id="edge34" class="edge">
<title>float/float_ieee854@over_under&#45;&gt;float/float_ieee854@enumerated_type_defs</title>
<path fill="none" stroke="black" d="M497,-177C497,-177 517,-107 517,-107"/>
</g>
<!-- float/float_ieee854@over_under&#45;&gt;float/float_ieee854@fp_round_aux -->
<g id="edge35" class="edge">
<title>float/float_ieee854@over_under&#45;&gt;float/float_ieee854@fp_round_aux</title>
<path fill="none" stroke="black" d="M342.47,-233.46C329.44,-224.06 312.59,-211.9 298.12,-201.46"/>
<polygon fill="black" stroke="black" points="300.64,-198.24 290.48,-195.22 296.54,-203.91 300.64,-198.24"/>
</g>
<!-- float/float_ieee854@over_under&#45;&gt;float/float_ieee854@round -->
<g id="edge36" class="edge">
<title>float/float_ieee854@over_under&#45;&gt;float/float_ieee854@round</title>
<path fill="none" stroke="black" d="M497,-177C497,-177 217.36,-131.37 109.62,-113.79"/>
<polygon fill="black" stroke="black" points="110.29,-110.19 99.85,-112.03 109.16,-117.1 110.29,-110.19"/>
<path fill="none" stroke="black" d="M391.88,-234.33C430.88,-213.8 497,-179 497,-179"/>
</g>
<!-- float/float_ieee854@real_to_fp&#45;&gt;float/float_ieee854@IEEE_854_values -->
<g id="edge37" class="edge">
<title>float/float_ieee854@real_to_fp&#45;&gt;float/float_ieee854@IEEE_854_values</title>
<path fill="none" stroke="black" d="M198.48,-312.66C274.52,-297.73 426,-268 426,-268 426,-268 471,-232 471,-232 471,-232 522.36,-212.83 563.3,-197.55"/>
<polygon fill="black" stroke="black" points="564.3,-200.54 572.45,-193.76 561.85,-193.98 564.3,-200.54"/>
</g>
<!-- float/float_ieee854@real_to_fp&#45;&gt;float/float_ieee854@fp_round_aux -->
<g id="edge38" class="edge">
<title>float/float_ieee854@real_to_fp&#45;&gt;float/float_ieee854@fp_round_aux</title>
<path fill="none" stroke="black" d="M144.38,-304.05C130.17,-283.34 108,-251 108,-251"/>
</g>
<!-- float/float_ieee854@real_to_fp&#45;&gt;float/float_ieee854@over_under -->
<g id="edge39" class="edge">
<title>float/float_ieee854@real_to_fp&#45;&gt;float/float_ieee854@over_under</title>
<path fill="none" stroke="black" d="M191.28,-309.13C225.93,-297.47 278.99,-279.61 317.15,-266.77"/>
<polygon fill="black" stroke="black" points="318.13,-269.79 326.49,-263.29 315.9,-263.16 318.13,-269.79"/>
</g>
<!-- float/float_ieee854@real_to_fp&#45;&gt;float/float_ieee854@round -->
<g id="edge40" class="edge">
<title>float/float_ieee854@real_to_fp&#45;&gt;float/float_ieee854@round</title>
<path fill="none" stroke="black" d="M139.81,-304.81C124.22,-289.22 103,-268 103,-268 103,-268 88,-251 88,-251"/>
</g>
<!-- float/float_ieee854@round&#45;&gt;float/float_ieee854@enumerated_type_defs -->
<g id="edge41" class="edge">
<title>float/float_ieee854@round&#45;&gt;float/float_ieee854@enumerated_type_defs</title>
<path fill="none" stroke="black" d="M78.19,-88.41C83.2,-80.25 89.36,-70.22 94.99,-61.07"/>
<polygon fill="black" stroke="black" points="98.33,-63.31 100.58,-52.96 92.37,-59.65 98.33,-63.31"/>
</g>
<!-- float/float_ieee854@sum_lemmas&#45;&gt;float/float_ieee854@sum_hack -->
<g id="edge42" class="edge">
<title>float/float_ieee854@sum_lemmas&#45;&gt;float/float_ieee854@sum_hack</title>
<path fill="none" stroke="black" d="M716,-87.7C716,-80.24 716,-71.32 716,-62.97"/>
<polygon fill="black" stroke="black" points="719.5,-63.1 716,-53.1 712.5,-63.1 719.5,-63.1"/>
</g>
<!-- float/float_ieee854@top__float_ieee854 -->
<g id="node20" class="node">
<title>float/float_ieee854@top__float_ieee854</title>
<ellipse fill="#e6f3ff" stroke="black" cx="617" cy="-691" rx="82.06" ry="18"/>
<text text-anchor="middle" x="617" y="-685.95" font-family="Times,serif" font-size="14.00">top__float_ieee854</text>
</g>
<!-- float/float_ieee854@top__float_ieee854&#45;&gt;float/float_ieee854@IEEE_854 -->
<g id="edge43" class="edge">
<title>float/float_ieee854@top__float_ieee854&#45;&gt;float/float_ieee854@IEEE_854</title>
<path fill="none" stroke="black" d="M548,-618C548,-618 558,-601 558,-601 558,-601 576.01,-583.14 591.96,-567.33"/>
<polygon fill="black" stroke="black" points="593.9,-570.35 598.53,-560.82 588.97,-565.38 593.9,-570.35"/>
</g>
<!-- float/float_ieee854@top__float_ieee854&#45;&gt;float/float_ieee854@IEEE_854_defs -->
<g id="edge44" class="edge">
<title>float/float_ieee854@top__float_ieee854&#45;&gt;float/float_ieee854@IEEE_854_defs</title>
<path fill="none" stroke="black" d="M548,-541.5C548,-541.5 548,-519.16 548,-499.72"/>
<polygon fill="black" stroke="black" points="551.5,-499.8 548,-489.8 544.5,-499.8 551.5,-499.8"/>
</g>
<!-- float/float_ieee854@top__float_ieee854&#45;&gt;float/float_ieee854@IEEE_854_fp_int -->
<g id="edge45" class="edge">
<title>float/float_ieee854@top__float_ieee854&#45;&gt;float/float_ieee854@IEEE_854_fp_int</title>
<path fill="none" stroke="black" d="M460,-469.5C460,-469.5 422.6,-440.17 394.74,-418.32"/>
<polygon fill="black" stroke="black" points="397.11,-414.95 387.08,-411.53 392.79,-420.46 397.11,-414.95"/>
</g>
<!-- float/float_ieee854@top__float_ieee854&#45;&gt;float/float_ieee854@IEEE_854_remainder -->
<g id="edge46" class="edge">
<title>float/float_ieee854@top__float_ieee854&#45;&gt;float/float_ieee854@IEEE_854_remainder</title>
<path fill="none" stroke="black" d="M460,-469.5C460,-469.5 280,-444.5 280,-444.5 280,-444.5 249.21,-429.41 221.64,-415.9"/>
<polygon fill="black" stroke="black" points="223.59,-412.47 213.07,-411.21 220.51,-418.75 223.59,-412.47"/>
</g>
<!-- float/float_ieee854@top__float_ieee854&#45;&gt;float/float_ieee854@IEEE_854_values -->
<g id="edge47" class="edge">
<title>float/float_ieee854@top__float_ieee854&#45;&gt;float/float_ieee854@IEEE_854_values</title>
<path fill="none" stroke="black" d="M748,-469.5C748,-469.5 816,-444.5 816,-444.5 816,-444.5 826,-323 826,-323"/>
<path fill="none" stroke="black" d="M826,-321C826,-321 786,-251 786,-251"/>
</g>
<!-- float/float_ieee854@top__float_ieee854&#45;&gt;float/float_ieee854@IEEE_link -->
<g id="edge48" class="edge">
<title>float/float_ieee854@top__float_ieee854&#45;&gt;float/float_ieee854@IEEE_link</title>
<path fill="none" stroke="black" d="M617,-672.7C617,-665.24 617,-656.32 617,-647.97"/>
<polygon fill="black" stroke="black" points="620.5,-648.1 617,-638.1 613.5,-648.1 620.5,-648.1"/>
</g>
<!-- float/float_ieee854@top__float_ieee854&#45;&gt;float/float_ieee854@NaN_ops -->
<g id="edge49" class="edge">
<title>float/float_ieee854@top__float_ieee854&#45;&gt;float/float_ieee854@NaN_ops</title>
<path fill="none" stroke="black" d="M460,-469.5C460,-469.5 470,-452.5 470,-452.5 470,-452.5 620,-444.5 620,-444.5 620,-444.5 620,-368 620,-368 620,-368 601,-340 601,-340 601,-340 576.15,-303.13 558.43,-276.85"/>
<polygon fill="black" stroke="black" points="560.78,-275.08 552.29,-268.74 554.97,-278.99 560.78,-275.08"/>
</g>
<!-- float/float_ieee854@top__float_ieee854&#45;&gt;float/float_ieee854@arithmetic_ops -->
<g id="edge50" class="edge">
<title>float/float_ieee854@top__float_ieee854&#45;&gt;float/float_ieee854@arithmetic_ops</title>
<path fill="none" stroke="black" d="M460,-469.5C460,-469.5 470,-452.5 470,-452.5 470,-452.5 494.14,-433.99 515.03,-417.97"/>
<polygon fill="black" stroke="black" points="516.9,-420.19 522.71,-411.32 512.64,-414.63 516.9,-420.19"/>
</g>
<!-- float/float_ieee854@top__float_ieee854&#45;&gt;float/float_ieee854@comparison1 -->
<g id="edge51" class="edge">
<title>float/float_ieee854@top__float_ieee854&#45;&gt;float/float_ieee854@comparison1</title>
<path fill="none" stroke="black" d="M748,-469.5C748,-469.5 748,-444.2 748,-423.09"/>
<polygon fill="black" stroke="black" points="751.5,-423.28 748,-413.28 744.5,-423.28 751.5,-423.28"/>
</g>
<!-- float/float_ieee854@top__float_ieee854&#45;&gt;float/float_ieee854@enumerated_type_defs -->
<g id="edge52" class="edge">
<title>float/float_ieee854@top__float_ieee854&#45;&gt;float/float_ieee854@enumerated_type_defs</title>
<path fill="none" stroke="black" d="M68,-393C68,-393 68,-179 68,-179"/>
<path fill="none" stroke="black" d="M548,-618C548,-618 548,-543.5 548,-543.5"/>
<path fill="none" stroke="black" d="M68,-177C68,-177 27,-124 27,-124 27,-124 27,-88 27,-88 27,-88 52.66,-71.81 75.62,-57.32"/>
<polygon fill="black" stroke="black" points="77.29,-59.78 83.88,-51.48 73.56,-53.86 77.29,-59.78"/>
<path fill="none" stroke="black" d="M460,-469.5C460,-469.5 78,-444.5 78,-444.5 78,-444.5 68,-395 68,-395"/>
<path fill="none" stroke="black" d="M598.33,-673.23C581.05,-657.7 558,-637 558,-637 558,-637 548,-620 548,-620"/>
<path fill="none" stroke="black" d="M548,-541.5C548,-541.5 470,-488.5 470,-488.5 470,-488.5 460,-471.5 460,-471.5"/>
</g>
<!-- float/float_ieee854@top__float_ieee854&#45;&gt;float/float_ieee854@fp_round_aux -->
<g id="edge53" class="edge">
<title>float/float_ieee854@top__float_ieee854&#45;&gt;float/float_ieee854@fp_round_aux</title>
<path fill="none" stroke="black" d="M68,-393C68,-393 108,-251 108,-251"/>
<path fill="none" stroke="black" d="M108,-249C108,-249 176.61,-218.8 223.69,-198.07"/>
<polygon fill="black" stroke="black" points="224.93,-200.91 232.67,-193.67 222.11,-194.5 224.93,-200.91"/>
</g>
<!-- float/float_ieee854@top__float_ieee854&#45;&gt;float/float_ieee854@infinity_arithmetic -->
<g id="edge54" class="edge">
<title>float/float_ieee854@top__float_ieee854&#45;&gt;float/float_ieee854@infinity_arithmetic</title>
<path fill="none" stroke="black" d="M635.67,-673.23C652.95,-657.7 676,-637 676,-637 676,-637 748,-471.5 748,-471.5"/>
<path fill="none" stroke="black" d="M748,-469.5C748,-469.5 680,-444.5 680,-444.5 680,-444.5 680,-368 680,-368 680,-368 684.99,-359.36 690.6,-349.66"/>
<polygon fill="black" stroke="black" points="694.05,-351.68 696.02,-341.27 687.99,-348.18 694.05,-351.68"/>
</g>
<!-- float/float_ieee854@top__float_ieee854&#45;&gt;float/float_ieee854@over_under -->
<g id="edge55" class="edge">
<title>float/float_ieee854@top__float_ieee854&#45;&gt;float/float_ieee854@over_under</title>
<path fill="none" stroke="black" d="M460,-469.5C460,-469.5 450,-368 450,-368 450,-368 407.95,-310.8 382.66,-276.39"/>
<polygon fill="black" stroke="black" points="385.06,-274.75 376.32,-268.76 379.42,-278.89 385.06,-274.75"/>
</g>
<!-- float/float_ieee854@top__float_ieee854&#45;&gt;float/float_ieee854@real_to_fp -->
<g id="edge56" class="edge">
<title>float/float_ieee854@top__float_ieee854&#45;&gt;float/float_ieee854@real_to_fp</title>
<path fill="none" stroke="black" d="M68,-393C68,-393 78,-368 78,-368 78,-368 100.34,-355.11 121.11,-343.13"/>
<polygon fill="black" stroke="black" points="122.55,-345.76 129.46,-337.73 119.05,-339.7 122.55,-345.76"/>
</g>
<!-- float/float_ieee854@top__float_ieee854&#45;&gt;float/float_ieee854@round -->
<g id="edge57" class="edge">
<title>float/float_ieee854@top__float_ieee854&#45;&gt;float/float_ieee854@round</title>
<path fill="none" stroke="black" d="M68,-177C68,-177 68,-154.66 68,-135.22"/>
<polygon fill="black" stroke="black" points="71.5,-135.3 68,-125.3 64.5,-135.3 71.5,-135.3"/>
</g>
<!-- float/float_ieee854@top__float_ieee854&#45;&gt;float/float_ieee854@sum_hack -->
<g id="edge58" class="edge">
<title>float/float_ieee854@top__float_ieee854&#45;&gt;float/float_ieee854@sum_hack</title>
<path fill="none" stroke="black" d="M826,-177C826,-177 786,-88 786,-88 786,-88 764.4,-71.64 745.19,-57.1"/>
<polygon fill="black" stroke="black" points="747.71,-53.86 737.62,-50.62 743.48,-59.44 747.71,-53.86"/>
</g>
<!-- float/float_ieee854@top__float_ieee854&#45;&gt;float/float_ieee854@sum_lemmas -->
<g id="edge59" class="edge">
<title>float/float_ieee854@top__float_ieee854&#45;&gt;float/float_ieee854@sum_lemmas</title>
<path fill="none" stroke="black" d="M826,-321C826,-321 826,-179 826,-179"/>
<path fill="none" stroke="black" d="M826,-177C826,-177 782.44,-149.28 750.14,-128.73"/>
<polygon fill="black" stroke="black" points="752.28,-125.3 741.96,-122.88 748.52,-131.21 752.28,-125.3"/>
</g>
</g>
</svg>