update for !(Char <: Real) in 0.4