Fix ClassCastException in NotificationTypeFactory

The "fault_count" attribute of a Notification is always an integer, so
casting it to a double and then rounding it is neither necessary nor does
it work.

Fixes #955