bug fix: convert to double instead of integer in DoubleProperty