also accept '+' after 'e' in is_real()