The following documentation comment has been logged on the website: Page: https://www.postgresql.org/docs/12/sql-expressions.html Description:
Section 4.2.3. Subscripts of the documentation states: > Each subscript is itself an expression, which must yield an integer value. However, the following query works on Postgres 12.1 SELECT (ARRAY[1, 2, 3]::integer[])[1.5]; array ------- 2 I believe a more appropriate statement would acknowledge that at least some values undergo an explicit-style conversion to an integer.