Chris@0: "1.0"^^ . Chris@0: "1"^^ . Chris@0: "1.0e0"^^ .