The pseudo-constructor `Value::mkFloat` would previously be called on an default-constructed (under-initialized) `Value` to create a properly initialized `Value` that represents a float. This change removes mkFloat and constructs float `Value`s directly. Change-Id: I48ae3a836842ce5e5eda6323404ba7576a6a6964