change the example to make the type of value different than int

change the example to make the type of value different than int #2534