1. fix minor bug regarding float number