right now:
@unboxed type t = A(int) | B(int)
gives
This untagged variant definition is invalid: At most one case can be a number type (int or float).
but should probably say:
This untagged variant definition is invalid: At most one case can be a number type (int, float or bigint).
as support was added recently