Safe.Exact module