Fix minor issues and adapt the safe divide example to make use of the value_traits/unexpected_traits.