fix(library/elaborator): missing normalization step for semantic attachments

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(numerics): add missing numeric_traits<float>::zero()

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>