CopterControl: enable -Wdouble-promotions