fix travis failures: floats with more than one leading dot are not allowed