use POSIX qw(strtod);
$x = strtod('1234e-5');