svg change Integer Properties to Double