divides missing in expo_finalization.hpp