Subject: bug#73098: setopt float warning unexpected

From: Eli Zaretskii <[email-masked]>
Date: Tue, 10 Sep 2024 14:36:08 +0300

> From: Stefan Monnier <[email-masked]>
> Cc: Michael Heerdegen <[email-masked]>,  [email-masked],
>   [email-masked]
> Date: Mon, 09 Sep 2024 18:41:46 -0400
> 
> IMO, the whole point of `setopt` is to check the value against the type.

I agree, but some users expect setopt to be a variant of setq,
especially since we advertise such use of setopt for modifying user
options.