load("stringproc");

decimal(floating) := block([i, digits, vorzeichen, exponent:-127, mantisse:1],
  if (slength(floating) # 34) then (error("Input String does not have length 34.")),
  digits: map(parsetoken, charlist(sremove("/", floating))),
  vorzeichen: (-1)^digits[1],
  for i:2 thru 9 do exponent: exponent + digits[i]*2^(9-i),
  for i:10 thru 32 do mantisse: mantisse + digits[i]*2^(9-i),
  float(vorzeichen * mantisse * 2^exponent)
);