Lines Matching defs:str
256 val str = "0." ^ String.implode(List.map toChar digits) ^"E" ^
260 val result = realConv str handle RunCall.Conversion _ => raise General.Domain
282 val (str, exp, sign) = dtoa(r, 3, ndigs)
283 val strLen = String.size str
295 else "0." ^ addZeros(~exp) ^ str ^ addZeros(ndigs-strLen+exp)
300 str ^ addZeros(exp-strLen) ^
304 String.substring(str, 0, exp) ^ "." ^
305 String.substring(str, exp, strLen-exp) ^
318 val (str, exp, sign) = dtoa(r, 2, ndigs+1)
319 val strLen = String.size str
327 then str ^ (if ndigs = 0 then "" else "." ^ addZeros ndigs)
328 else String.substring(str, 0, 1) ^ "." ^
329 String.substring(str, 1, strLen-1) ^ addZeros (ndigs-strLen+1)
342 val (str, exp, sign) = dtoa(r, 2, ndigs)
343 val strLen = String.size str
349 (if strLen = 1 then str
350 else String.substring(str, 0, 1) ^ "." ^
351 String.substring(str, 1, strLen-1)
361 "0." ^ addZeros(~exp) ^ str
367 str ^ addZeros(exp-strLen) ^ ".0"
370 String.substring(str, 0, exp) ^ "." ^
371 String.substring(str, exp, strLen-exp)
376 fun strToDigitList str =
381 ((Char.ord(String.sub(str, i)) - Char.ord #"0") :: l)
383 getDigs (String.size str - 1) []
397 val (str, exp, sign) = dtoa(r, 0, 0)
398 val digits = strToDigitList str