Slightly bigger range for hardware extension definitions