Text this: The sizes of public open spaces in Singapore: