Add soft-equal, get-time