Fixed #8970: Karma fails to output a sign with a user-defined real number policy