Use static_cast.
Add FIXME.