Fixed model.double/halve()