Add test case for symbolic floating point numbers
Add test case for symbolic floating point numbers

tyb0807/angr,tyb0807/angr,iamahuman/angr,chubbymaggie/angr,chubbymaggie/angr,angr/angr,axt/angr,schieb/angr,tyb0807/angr,angr/angr,f-prettyland/angr,schieb/angr,schieb/angr,iamahuman/angr,chubbymaggie/angr,f-prettyland/angr,iamahuman/angr,axt/angr,axt/angr,angr/angr,f-prettyland/angr