vlog95: for a 32-bit width we can generate a signed undefined value