You need to look what format the device supports - there is no general format/command.
Some devices allow to configure the IP in the GUI and some require it in hex via CLI.
The vendor of that hardware is responsible for the implementation and not Extreme Networks.
i.e. here a example for a Fortigate Firewall...
The controller has IP 10..10.10.10 which is in hex 0A0A0A0A plus you need to add 00 in the front...
Spoke1 # show system dhcp serverconfig system dhcp server
edit 1
set default-gateway 10.128.1.254
set dns-service default
set interface "internal"
config ip-range
edit 1
set end-ip 10.128.1.199
set start-ip 10.128.1.101
next
end
set netmask 255.255.255.0
set option1 78 '000A0A0A0A'
next
end
To convert from decimal to hex I use my Windows build in Calculator.
Here another example for a Cisco ASA5505
# dhcpd option 43 ip 10.10.10.10 interface inside