Type Alias IsLossyCast<From, To>

IsLossyCast: CanSafelyCast<From, To> extends true ? false : true

Check if a cast would result in potential data loss

type WillLosePrecision = IsLossyCast<Float64, Int32> // true
type WillNotLosePrecision = IsLossyCast<Int8, Int32> // false