const EXTRA_FLOAT_DIGITS: ServerVar<i32>;