javascript type explicit cast: str->numeric. a big trap.