Add an RFC for fixed point types.#41

Draft

zyp wants to merge 13 commits intoamaranth-lang:mainfrom

zyp:fixed-point-types

Commits on Nov 23, 2024

Add an RFC for fixed point types.
zyp
committed
Updated to address feedback.
zyp
committed
Added comparison operators and a discussion of rounding.
zyp
committed
fixed.Shape: modify signature to accept underlying storage and `f_bits`

vk2seb
authored and
zyp
committed
fixed.Shape: add min(), max() methods

vk2seb
authored and
zyp
committed
fixed.Const: add `clamp` argument used for interpreting constants

vk2seb
authored and
zyp
committed
fixed.Value: add truncate() method, document rounding strategy

vk2seb
authored and
zyp
committed
fixed.Value: prohibit arithmetic operators on difficult-to-reason-about arguments

vk2seb
authored and
zyp
committed
fixed.Value: add numerator() method, a signedness-preserving as_value()

vk2seb
authored and
zyp
committed
Unresolved: add a proposal to all unresolved questions from original RFC

vk2seb
authored and
zyp
committed
fixed.Value: remove `.round()` completely. rename `.truncate()` to `.reshape()`

vk2seb
authored and
zyp
committed
Unresolved: address __div__

vk2seb
authored and
zyp
committed
Rationale: add note on Q notation selected

vk2seb
authored and
zyp
committed