Não consigo descobrir como fazer isso com métodos de string:

No meu arquivo, tenho algo como 1.012345e0070.123414e-004-0.1234567891.21423 ... o que significa que não há delimitador entre os número

Agora, se eu ler uma linha deste arquivo, recebo uma string como a acima, que eu quero dividir depois, p. 12 caracteres. Não há como fazer isso com algo comostr.split() ou qualquer outro método de string, até onde eu vi, mas talvez eu esteja ignorando alguma coisa?

TH