A TypeScript utility type that makes all number-typed properties readonly while leaving other properties mutable