FloorArgs {faC = 778945, faNeg = True, faE = 3217}floor (scientific -778946 -3617) = 0; expected -1


FloorArgs {faC = 122671, faNeg = True, faE = 3922}floor (scientific -122672 -4322) = 0; expected -1


FloorArgs {faC = 965411, faNeg = True, faE = 234}floor (scientific -965412 -634) = 0; expected -1


FloorArgs {faC = 951051, faNeg = True, faE = 1656}floor (scientific -951052 -2056) = 0; expected -1


FloorArgs {faC = 701787, faNeg = True, faE = 2410}floor (scientific -701788 -2810) = 0; expected -1


FloorArgs {faC = 997575, faNeg = True, faE = 3939}floor (scientific -997576 -4339) = 0; expected -1


FloorArgs {faC = 196678, faNeg = True, faE = 4609}floor (scientific -196679 -5009) = 0; expected -1


FloorArgs {faC = 498449, faNeg = True, faE = 434}floor (scientific -498450 -834) = 0; expected -1


FloorArgs {faC = 552468, faNeg = True, faE = 1817}floor (scientific -552469 -2217) = 0; expected -1


FloorArgs {faC = 383763, faNeg = True, faE = 1822}floor (scientific -383764 -2222) = 0; expected -1


FloorArgs {faC = 0, faNeg = True, faE = 0}: floor (scientific -1 -400) = 0; expected -1


CounterExample ["FloorArgs {faC = 0, faNeg = True, faE = 0}"] (PropertyFalse Nothing)


NonDigitString {unNonDigit = "."}scientificP "." accepted as [(0.0,"")]; expected no successful parse


NonDigitString {unNonDigit = "-.+e"}scientificP "-.+e" accepted as [(0.0,"-.+e"),(0.0,"+e")]; expected no successful parse


NonDigitString {unNonDigit = ""}scientificP "" accepted as [(0.0,"")]; expected no successful parse


NonDigitString {unNonDigit = "+--"}scientificP "+--" accepted as [(0.0,"+--"),(0.0,"--")]; expected no successful parse


NonDigitString {unNonDigit = " E"}scientificP " E" accepted as [(0.0," E")]; expected no successful parse


NonDigitString {unNonDigit = "E  e+"}scientificP "E  e+" accepted as [(0.0,"E  e+"),(0.0,"  e+")]; expected no successful parse


NonDigitString {unNonDigit = " "}scientificP " " accepted as [(0.0," ")]; expected no successful parse


NonDigitString {unNonDigit = ". .EE"}scientificP ". .EE" accepted as [(0.0," .EE")]; expected no successful parse


NonDigitString {unNonDigit = "+"}scientificP "+" accepted as [(0.0,"+"),(0.0,"")]; expected no successful parse


NonDigitString {unNonDigit = ""}: scientificP "" accepted as [(0.0,"")]; expected no successful parse


CounterExample ["NonDigitString {unNonDigit = \"++++\"}"] (PropertyFalse Nothing)


ReadsArgs {raInt = "69", raFrac = "0117"}readP_to_S scientificP "69.0117" returned 2 parses: [(69.0,".0117"),(69.0117,"")]; expected exactly 1


ReadsArgs {raInt = "736", raFrac = "88"}readP_to_S scientificP "736.88" returned 2 parses: [(736.0,".88"),(736.88,"")]; expected exactly 1


ReadsArgs {raInt = "95", raFrac = "27141"}readP_to_S scientificP "95.27141" returned 2 parses: [(95.0,".27141"),(95.27141,"")]; expected exactly 1


ReadsArgs {raInt = "24", raFrac = "37"}readP_to_S scientificP "24.37" returned 2 parses: [(24.0,".37"),(24.37,"")]; expected exactly 1


ReadsArgs {raInt = "198", raFrac = "01365"}readP_to_S scientificP "198.01365" returned 2 parses: [(198.0,".01365"),(198.01365,"")]; expected exactly 1


ReadsArgs {raInt = "4118", raFrac = "55"}readP_to_S scientificP "4118.55" returned 2 parses: [(4118.0,".55"),(4118.55,"")]; expected exactly 1


ReadsArgs {raInt = "48", raFrac = "34"}readP_to_S scientificP "48.34" returned 2 parses: [(48.0,".34"),(48.34,"")]; expected exactly 1


ReadsArgs {raInt = "8025", raFrac = "1164"}readP_to_S scientificP "8025.1164" returned 2 parses: [(8025.0,".1164"),(8025.1164,"")]; expected exactly 1


ReadsArgs {raInt = "0", raFrac = "0"}: readP_to_S scientificP "0.0" returned 2 parses: [(0.0,".0"),(0.0,"")]; expected exactly 1


CounterExample ["ReadsArgs {raInt = \"1\", raFrac = \"0\"}"] (PropertyFalse Nothing)