if 5e3 != 5000.0 {
    panic("This should not happen");
}

if 5e-1 != 0.5 {
    panic("This should not happen");
}

if 5E3 != 5000.0 {
    panic("This should not happen");
}

if 5E-1 != 0.5 {
    panic("This should not happen");
}

if 5.1e3 != 5100.0 {
    panic("This should not happen");
}

if 5.1e-1 != 0.51 {
    panic("This should not happen");
}

if 5.1E3 != 5100.0 {
    panic("This should not happen");
}

if 5.1E-1 != 0.51 {
    panic("This should not happen");
}