Revert "coverity#735657 Division or modulo by float zero"

wrong name, and I intended to get an explicit review of this
option

This reverts commit c4f821f17cb8c970d1d8abd86a1f780250d96734.

Change-Id: I743e79b8cc9493c259b88f50487ef06290ab7318