apps: bextract: make double-to-int conversions explicit