Yes it is. There, stage 3 of the proposal is for arbitrary bigints (including enough to allow implementations to specialize in fixed 64-bit use), so it literally just waits for implementations and tests at this stage. Therefore, we can conclude that this is technically possible.
source
share