{
#    0.0: 0,
    1.0: 1,
    1e300000: +10,
    -1e300000: -10,
    1e300000/1e300000: 100,
}