Fix #254: use explicit float values