bad move of include in mantissa