Keyer: fix bug due to numerical imprecisions
update SupportExt