Add an easy way for arithmetic `Value`s to convert to `Const` versions of corresponding signals

### Motivation

It would be helpful to be able to create a `Value` and then create a `Const` version of it, corresponding to the `Logic` version of it. For example, creating a `Const` version of `FloatingPoint` based on a value of `FloatingPointValue` type.

### Desired solution

Create some automation that accomplishes creating constant `FloatingPoint` (or similar) from their corresponding value type.

### Alternatives considered

_No response_

### Additional details

_No response_